pub fn div_3x2(u21: u128, u0: u64, d: u128, v: u64) -> (u64, u128)
Expand description

⚠️ Computes the quotient of a 192 bits divided by a normalized u128.

Implements MG10 algorithm 5.