Javascript debugger
Website design
↑
It can be either a GMP number resource, or a numeric string given that it is possible to convert the latter to a number.
<?php
$neg1 = gmp_neg("1");
echo gmp_strval($neg1) . "\n";
$neg2 = gmp_neg("-1");
echo gmp_strval($neg2) . "\n";
?>
The above example will output:
-1
1