type(0.5 >= f64)
