Pike v8.0 release 702

Index of class Int.Inf