pub fn div_3x2(u21: u128, u0: u64, d: u128, v: u64) -> (u64, u128)
⚠️ Computes the quotient of a 192 bits divided by a normalized u128.
Implements MG10 algorithm 5.