0.5 + f64 > f64
