4.2.12 number_format函数：用千位分隔符格式化数字