mpz_cmp_d         139 lib/mini-gmp.h int mpz_cmp_d (const mpz_t, double);
mpz_cmp_d        2692 src/data.c     	i2 = mpz_cmp_d (*xbignum_val (num2), f1);
mpz_cmp_d        2721 src/data.c     	i1 = mpz_cmp_d (*xbignum_val (num1), f2);