not (f64 >= f64)
