mpz_get_ui       1615 lib/mini-gmp.c   unsigned long r = mpz_get_ui (u);
mpz_get_ui       1920 lib/mini-gmp.c       unsigned long uu = mpz_get_ui (u);
mpz_get_ui       2567 lib/mini-gmp.c   ret = mpz_get_ui (rr);
mpz_get_ui       2716 lib/mini-gmp.c     v = mpz_get_ui (t);
mpz_get_ui        252 lib/mini-gmp.h unsigned long int mpz_get_ui (const mpz_t);
mpz_get_ui       3559 src/data.c           exp = mpz_get_ui (*xbignum_val (y));
mpz_get_ui        475 src/timefns.c    int us = mpz_get_ui (mpz[1]);
mpz_get_ui        479 src/timefns.c    unsigned long ulo = mpz_get_ui (mpz[0]);