i32 >= f32 - 0.5
