i + 0.5 <= i32
