pub fn mul_hi_u(b: &mut Builder, x: &Mw, y: &Mw) -> Mw
The high word of the unsigned 128-bit product.