type(1 >= f64)
