php 实现格式化数字功能