half(1 + f64)
