mpz_cmp           800 ext/gmp/gmp.c  		res = mpz_cmp(gmpnum_a, gmpnum_b);
mpz_cmp          1876 ext/gmp/gmp.c  		if (mpz_cmp(gmpnum_max, gmpnum_min) <= 0) {