pub fn mul_checked(b: &mut Builder, x: &Mw, y: &Mw) -> (Mw, u32)
The signed product of two 64-bit values and 1 when it leaves i64.
i64