not (1 != f64)
