i + f64 <= i64
