half(0.5) > i32
