type(f64 > f64)
