i64 < f64 + f64
