php number_format 丢精度的问题