half(0.5) - i32
