not (f64 > f64)
