<?php$int = gmp_cmp ( "1234", // resource $a "1000" // resource $b);?>
$int = 1
1
#1
gmp_cmp
("1234", "1000")
#2
("1000", "1234")
#3
("1234", "1234")