mpz_addmul        157 lib/mini-gmp.h void mpz_addmul (mpz_t, const mpz_t, const mpz_t);
mpz_addmul        802 src/timefns.c  	  mpz_addmul (mpz[0], *s, ztrillion);
mpz_addmul       1137 src/timefns.c        (subtract ? mpz_submul : mpz_addmul) (*iticks, *fa, *nb);