<?php
$cmp1 = gmp_cmp("1234", "1000"); // plus grand
$cmp2 = gmp_cmp("1000", "1234"); // plus petit
$cmp3 = gmp_cmp("1234", "1234"); // égal

echo "$cmp1 $cmp2 $cmp3\n";
?>