PHP 7.1+ json 형식으로 변환한 후 부동 소수점 오버플로 문제

Question

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

출력 결과는 실제로

9.93999999999999995

이 문제를 어떻게 해결할 수 있나요? 7.0 테스트에서는 정상인데 7.1에서 문제가 발생했습니다