pub fn fast_two_sum_tail(a: f64, b: f64, x: f64) -> f64