Description:
------------
Getting different output values when use json_encode with big float  e.g. PHP_INT_MAX * PHP_INT_MAX

when use different php versions

https://3v4l.org/rBiTL

Test script:
---------------
<?php

$a = PHP_INT_MAX * PHP_INT_MAX;

$bb = json_encode($a, true);
$b = json_decode($bb);

var_dump($a);
var_dump($b);

Expected result:
----------------
same value regardless php version

float(8.507059173023462E+37)
or
float(8.5070591730235E+37)

Actual result:
--------------
Output for 8.0.0 - 8.0.12, 8.1rc1 - rc3
float(8.507059173023462E+37)
float(8.507059173023462E+37)

Output for 7.3.0 - 7.3.31, 7.4.0 - 7.4.25
float(8.5070591730235E+37)
float(8.5070591730235E+37)