half(0.5 + f64)
