f32 >= i32 ^ i32
