php 7.1+ 浮點轉換json格式後，溢位問題

Question

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

輸出的結果居然是  

9.9399999999999995

請問怎麼解決這個問題 7.0測試正常  7.1就有問題了