This function allows to convert GMP number to integer.
Warning
This function returns a useful result only if the number actually
fits the PHP integer (i.e., signed long type). If you want just
to print the GMP number, use gmp_strval().
Example 1. gmp_intval() example
<?php // displays correct result echo gmp_intval("2147483647") . "\n";
