pub fn two_product(a: f64, b: f64) -> (f64, f64)Expand description
Product of a and b, plus the exact rounding error.
a * b == product + error exactly. This is the operation that makes an
exact determinant possible: the naive a * b discards precisely the
information a near-degenerate configuration depends on.