Problème de débordement de virgule flottante PHP 7.1+ après conversion au format json

Question

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

Le résultat de sortie est en fait

9.939999999999999995

Comment puis-je résoudre ce problème Le test 7.0 est normal, mais il y a un problème dans 7.1