Use `PHP_INT_MAX` instead