Another try at the DecimalFormatException on some platforms