- Output for 7.1.0 - 7.1.33, 7.2.0 - 7.2.34, 7.3.0 - 7.3.33, 7.4.0 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.6
- 52855.999999999992724042385816574 [52855.99999999999]
<?php
$x = 528.56;
$y = 100;
ini_set('precision', 32);
echo $x * $y . "\n";
echo json_encode([$x * $y]);