php 7.1+ 浮点转换json格式后，溢出问题

Question

$a = 9.94;
return 	json_encode($a);

输出的结果居然是  

9.9399999999999995

请问要怎么解决这个问题 7.0测试正常  7.1就有问题了