i64 < i32 + i64
