将x的值格式化为小数点后三位小数,使用