Pike v8.0 release 438

Index of class Int.Inf