- var_dump: documentation ( source)
<?php
var_dump(PHP_INT_MIN);
var_dump(gettype(PHP_INT_MIN));
var_dump(gettype(-PHP_INT_MAX - 1));
var_dump(gettype(-9223372036854775808));
var_dump(is_int(PHP_INT_MIN));
var_dump(is_int(-9223372036854775808));
var_dump(-PHP_INT_MAX - 1 === -9223372036854775808);
var_dump(-PHP_INT_MAX);
var_dump(-PHP_INT_MAX - 1);
var_dump(-PHP_INT_MAX - 2);
var_dump(-9223372036854775807);
var_dump(-9223372036854775808);
var_dump(-9223372036854775809);