type(1 > f64)
