i32 + 0.5 <= i
