not (1 > f64)
