max(i64) < i64
