2018-07-10 PHP 7.1 使用 json_encode 函数造成浮点类型数据出现精度问题