zkp_u256
pub const fn div_2_1(lo: u64, hi: u64, d: u64) -> (u64, u64)
Compute <hi, lo> / d, returning the quotient and the remainder.