667             && minimumIntegerDigits == other.minimumIntegerDigits  in equals()
733         if (minimumIntegerDigits > maximumIntegerDigits) {  in setMaximumIntegerDigits()
734             minimumIntegerDigits = maximumIntegerDigits;  in setMaximumIntegerDigits()
746         return minimumIntegerDigits;  in getMinimumIntegerDigits()
762         minimumIntegerDigits = Math.max(0,newValue);  in setMinimumIntegerDigits()
763         if (minimumIntegerDigits > maximumIntegerDigits) {  in setMinimumIntegerDigits()
764             maximumIntegerDigits = minimumIntegerDigits;  in setMinimumIntegerDigits()
963             minimumIntegerDigits = minIntegerDigits;  in readObject()
967         if (minimumIntegerDigits > maximumIntegerDigits ||  in readObject()
969             minimumIntegerDigits < 0 || minimumFractionDigits < 0) {  in readObject()
989         minIntegerDigits = (minimumIntegerDigits > Byte.MAX_VALUE) ?  in writeObject()
990                            Byte.MAX_VALUE : (byte)minimumIntegerDigits;  in writeObject()
1116     private int    minimumIntegerDigits = 1;  field in NumberFormat