type(i32 >= f32)
