pub fn mul_ovf_s(b: &mut Builder, x: &Mw, y: &Mw) -> Mw
1 when the signed product leaves i64, as a 64-bit value.
i64