f32 <= i - 0.5
