not (f64 != 1 * 0.5)
