i32 ^ f32 < 0.5 * i
