mpz_mul_si       3466 maint/gnulib/lib/mini-gmp.c 	  mpz_mul_si (Qk, Qk, Q);
mpz_mul_si       3477 maint/gnulib/lib/mini-gmp.c 	  mpz_mul_si (V, V, -2*Q);
mpz_mul_si        152 maint/gnulib/lib/mini-gmp.h void mpz_mul_si (mpz_t, const mpz_t, long int);