type(0.5 < f64)
