php-ified infinity