<?php$int = gmp_intval ( "2147483647" // resource $gmpnumber);?>
$int = 2147483647
2147483647
#1
gmp_intval
("2147483647")
#2
("2147483648")