can `maxTermFrequency * maxDoc` overflow?