JSON 形式に変換した後の PHP 7.1+ 浮動小数点オーバーフローの問題

Question

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

実際の出力結果は

9.9399999999999995

この問題を解決するには? 7.0 ではテストは正常ですが、7.1 では問題があります