max(i64) + i64
