<?php

$x = PHP_INT_MAX;
echo "9000 => ", $x, PHP_EOL;

$x++;
echo "over 9000 => ", $x, PHP_EOL;