Fixed again (maybe) DecimalFormatException on some platforms