type(f64 > 1)
