Update INF to PHP_INT_MAX as recommended by Stof

As recommended by @stof in #2256