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