<?php$int = gmp_sign ( "-500" // resource $a);?>
$int = -1
-1
#1
gmp_sign
("500")
#2
("-500")
#3
("0")