[f64 != 1]
