PHP中的number_format()函数