- var_dump: documentation ( source)
<?php
var_dump((int) (PHP_INT_MAX + 1)); // int(-9223372036854775808)
var_dump((int) (PHP_INT_MAX + 10)); // int(-9223372036854775808)
var_dump((int) (PHP_INT_MAX + 2000)); // int(-9223372036854773760)
var_dump((int) INF); // int(0)