pub fn mul(a_bits: u64, b_bits: u64, f: Format, mode: Rounding) -> RoundedExpand description
a × b.
The product of two significands is exact in u128: at most 53 × 53 =
106 bits. So there is no sticky bit to carry here, and every flag comes from
the single rounding.