mpz_sub_ui       2272 maint/gnulib/lib/mini-gmp.c 	    mpz_sub_ui (tq, tq, 1);
mpz_sub_ui        148 maint/gnulib/lib/mini-gmp.h void mpz_sub_ui (mpz_t, const mpz_t, unsigned long);