public override int CompareBottom(int doc) { // No overflow risk because docIDs are non-negative return bottom - (docBase + doc); }