mpz_submul_ui    3424 maint/gnulib/lib/mini-gmp.c   mpz_submul_ui (V, Qk, 2);
mpz_submul_ui     158 maint/gnulib/lib/mini-gmp.h void mpz_submul_ui (mpz_t, const mpz_t, unsigned long int);