$a = 9.94; return json_encode($a);
The output result is actually
9.9399999999999995
How to solve this problem? The test is normal in 7.0 but there is a problem in 7.1