mpz_divexact     2938 lib/mini-gmp.c   mpz_divexact (s1, v, tv);
mpz_divexact     2940 lib/mini-gmp.c   mpz_divexact (t1, u, tv);
mpz_divexact     2996 lib/mini-gmp.c   mpz_divexact (g, u, g);
mpz_divexact     3370 lib/mini-gmp.c   mpz_divexact (r, r, t);
mpz_divexact      180 lib/mini-gmp.h void mpz_divexact (mpz_t, const mpz_t, const mpz_t);
mpz_divexact     1126 src/timefns.c        mpz_divexact (*fa, *da, *g);
mpz_divexact     1127 src/timefns.c        mpz_divexact (*fb, *db, *g);
mpz_divexact     1146 src/timefns.c  	  mpz_divexact (*iticks, *iticks, *ig);
mpz_divexact     1147 src/timefns.c  	  mpz_divexact (*ihz, *ihz, *ig);