pub fn two_sum(a: f64, b: f64) -> (f64, f64)Expand description
Computes a + b and its rounding error (Knuth’s two-sum).
Requirement: a + b does not overflow.
§Examples
use implicit_predicates_core::eft::two_sum;
let (x, y) = two_sum(1.0, 1e-20);
assert_eq!(x, 1.0);
assert_eq!(y, 1e-20);