switch to DecimalFormat