mpz_add_ui       1969 maint/gnulib/lib/mini-gmp.c   mpz_add_ui (r, r, a);
mpz_add_ui       2279 maint/gnulib/lib/mini-gmp.c 	    mpz_add_ui (tq, tq, 1);
mpz_add_ui       2407 maint/gnulib/lib/mini-gmp.c     mpz_add_ui (q, q, 1);
mpz_add_ui       3797 maint/gnulib/lib/mini-gmp.c   mpz_add_ui (r, u, 1);
mpz_add_ui        146 maint/gnulib/lib/mini-gmp.h void mpz_add_ui (mpz_t, const mpz_t, unsigned long);