pub fn two_diff(a: f64, b: f64) -> (f64, f64)
Error-free subtraction: a - b = s + e. Equivalent to two_sum(a, -b).
a - b = s + e
two_sum(a, -b)