docs: private static String fixSymbols(final String s, final DecimalFormatSymbols symbols) {
  		final char groupingSeparator = symbols.getGroupingSeparator();
  		final char decimalSeparator = symbols.getDecimalSeparator();
  		return s.replace(String.valueOf(groupingSeparator), "").replace(decimalSeparator, DEFAULT_DECIMAL_SEPARATOR);
  	}