Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- <?php
- $a = "9223372036854775807";
- $b = "9223372036854775808";
- $res = gmp_cmp($a,$b); // $res < 0
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement