pub fn mul_single(a: u32, b: u32) -> u64
Assumed as a given primitive.
Multiplication of two singles, which at most yields 1 double.