pub fn two_two_product(a1: f64, a0: f64, b1: f64, b0: f64) -> [f64; 8]