707     UnicodeString digitsString;  in propertiesToPatternString()  local
711         while (digitsString.length() < minSig) {  in propertiesToPatternString()
712             digitsString.append(u'@');  in propertiesToPatternString()
714         while (digitsString.length() < maxSig) {  in propertiesToPatternString()
715             digitsString.append(u'#');  in propertiesToPatternString()
728             digitsString.append(str, 1, str.length() - 1);  in propertiesToPatternString()
730             digitsString.append(str);  in propertiesToPatternString()
733     while (digitsString.length() + digitsStringScale < minInt) {  in propertiesToPatternString()
734         digitsString.insert(0, u'0');  in propertiesToPatternString()
737         digitsString.append(u'0');  in propertiesToPatternString()
742     int m0 = uprv_max(groupingLength, digitsString.length() + digitsStringScale);  in propertiesToPatternString()
746         int di = digitsString.length() + digitsStringScale - magnitude - 1;  in propertiesToPatternString()
747         if (di < 0 || di >= digitsString.length()) {  in propertiesToPatternString()
750             sb.append(digitsString.charAt(di));  in propertiesToPatternString()