not (1 >= f64)
