mpz_mul_ui       2052 maint/gnulib/lib/mini-gmp.c       mpz_mul_ui (r, u, GMP_NEG_CAST (unsigned long int, v));
mpz_mul_ui       2056 maint/gnulib/lib/mini-gmp.c     mpz_mul_ui (r, u, v);
mpz_mul_ui       3012 maint/gnulib/lib/mini-gmp.c   mpz_mul_ui (r, u, v);
mpz_mul_ui       3243 maint/gnulib/lib/mini-gmp.c       mpz_mul_ui (v, u, z - 1);		/* v = x*(z-1) */
mpz_mul_ui       3338 maint/gnulib/lib/mini-gmp.c     mpz_mul_ui (x, x, n -= m);
mpz_mul_ui       3367 maint/gnulib/lib/mini-gmp.c     mpz_mul_ui (r, r, n--);
mpz_mul_ui        153 maint/gnulib/lib/mini-gmp.h void mpz_mul_ui (mpz_t, const mpz_t, unsigned long int);