pub fn two_product_presplit(a: f64, b: f64, bhi: f64, blo: f64) -> [f64; 2]
Same as two_product where one of the inputs has already been split.
two_product
Avoids redundant splitting.