public TermsEnum TermsEnum(Terms terms) { return(NumericUtils.FilterPrefixCodedInts(terms.Iterator(null))); }