not (f64 != f64)
