mpz_sub_ui 1260 ext/gmp/gmp.c gmp_binary_ui_op(mpz_sub, mpz_sub_ui); mpz_sub_ui 1866 ext/gmp/gmp.c mpz_sub_ui(gmpnum_range, gmpnum_max, Z_LVAL_P(min_arg) - 1);