type(i64 >= f32)
