mpz_divexact     2937 maint/gnulib/lib/mini-gmp.c   mpz_divexact (s1, v, tv);
mpz_divexact     2939 maint/gnulib/lib/mini-gmp.c   mpz_divexact (t1, u, tv);
mpz_divexact     2995 maint/gnulib/lib/mini-gmp.c   mpz_divexact (g, u, g);
mpz_divexact     3369 maint/gnulib/lib/mini-gmp.c   mpz_divexact (r, r, t);
mpz_divexact      180 maint/gnulib/lib/mini-gmp.h void mpz_divexact (mpz_t, const mpz_t, const mpz_t);