Searched defs:maxInt_ (Results 1 – 3 of 3) sorted by relevance
224 int maxInt_ = properties.maximumIntegerDigits; in oldToNew() local
223 int maxInt_ = properties.maximumIntegerDigits; in oldToNew() local