gmp_mpfr_sys::gmp
pub unsafe extern fn mpz_sub_ui( rop: *mut mpz_t, op1: *const mpz_t, op2: c_ulong)
See: mpz_sub_ui
mpz_sub_ui