half(f64) + 1 + f64
