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