half(0.5 / i32)
