0.5 + i64 < f64
