java使用System.out.format()格式化输出，保留n位小数等操作