Function creachadair_imath_sys::mp_int_div_value

pub unsafe extern "C" fn mp_int_div_value(
    a: mp_int,
    value: mp_small,
    q: mp_int,
    r: *mut mp_small
) -> mp_result

Sets q and *r to the quotent and remainder of a / value. Division by powers of 2 is detected and handled efficiently. The remainder is pinned to 0 <= *r < b. Either of q or r may be NULL.