PHP中number_format函数输出数字格式化,增加千分位符号