mpz_sub_ui       2280 lib/mini-gmp.c 	    mpz_sub_ui (tq, tq, 1);
mpz_sub_ui        148 lib/mini-gmp.h void mpz_sub_ui (mpz_t, const mpz_t, unsigned long);
mpz_sub_ui       3591 src/data.c       mpz_sub_ui (mpz[0], *xbignum_val (number), 1);
mpz_sub_ui        496 src/floatfns.c     (neg_d == neg_r ? mpz_add_ui : mpz_sub_ui) (q, q, 1);
mpz_sub_ui        683 src/timefns.c      (mpz_sgn (*n) < 0 ? mpz_sub_ui : mpz_add_ui) (*q, *q, incr);
mpz_sub_ui       1078 src/timefns.c  	  ((XFIXNUM (b) < 0) == subtract ? mpz_add_ui : mpz_sub_ui)
mpz_sub_ui       1611 src/timefns.c        mpz_sub_ui (mpz[0], *bignum_integer (&mpz[0], obj), offset);