half(f64) != f64
