not (1 <= f64)
