half(0.5) < i32
