added DecimalFormat for doubles