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