half(f32 + 1)
