- Output for 8.1.0 - 8.1.30, 8.2.0 - 8.2.25, 8.3.0 - 8.3.13
- 61.99975:61.99975000000000591172 61.99975:61.99974999999999880629 1
<?php
$w1 = $w2 = 64;
$w1 = $w1 - 1.000125 - 1.000125;
$w2 -= (1.000125 + 1.000125);
echo $w1 . ":" .sprintf("%.20f", $w1) . PHP_EOL;
echo $w2 . ":" .sprintf("%.20f", $w2) . PHP_EOL;
echo ($w1 > $w2) . PHP_EOL;