mpz_submul        159 lib/mini-gmp.h void mpz_submul (mpz_t, const mpz_t, const mpz_t);
mpz_submul       1137 src/timefns.c        (subtract ? mpz_submul : mpz_addmul) (*iticks, *fa, *nb);