docs: public MonetaryFormat withLocale(Locale locale) {
          DecimalFormatSymbols dfs = new DecimalFormatSymbols(locale);
          char negativeSign = dfs.getMinusSign();
          char zeroDigit = dfs.getZeroDigit();
          char decimalMark = dfs.getMonetaryDecimalSeparator();
          return new MonetaryFormat(negativeSign, positiveSign, zeroDigit, decimalMark, minDecimals, decimalGroups,
                  shift, roundingMode, codes, codeSeparator, codePrefixed);
      }