Added PHP_INT_MIN