Masalah limpahan titik terapung PHP 7.1+ selepas menukar kepada format json

Question

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

Hasil keluaran sebenarnya

9.93999999999999995

Bagaimana saya boleh menyelesaikan masalah ini, ujian 7.0 adalah biasa, tetapi ada masalah dalam 7.1