Jakub Zych 3ac1d64ab4 fix(12-05): cast floats to strings with PHP's 14-digit precision in request validation ...

PHP 8's (string) cast of a float formats with the precision ini (14
significant digits, %.14G), not the shortest round-trip form: 1/3 is
0.33333333333333, 1e14 is 1.0E+14 and 5e-324 is 4.9406564584125E-324.
phpFloatString, used for the string form of JSON floats in size, in, regex
and integer checks, printed up to 17 digits and switched to the exponent
form only from 1e15. TestPHPFloatStringMatchesPHPCast pins 27 values to
php -r output.

2026-10-02 15:46:24 +02:00

36 KiB

Raw Blame History

View Raw