Am 18.02.20 um 12:20 schrieb Nikita Popov:
> Hi internals,
>
> https://github.com/php/php-src/pull/5172 changes var_dump() to use
> serialize_precision instead of precision to dump floating-point numbers.
>
> To recap: serialize_precision defaults to -1, which will print exactly as
> many
Hi internals,
https://github.com/php/php-src/pull/5172 changes var_dump() to use
serialize_precision instead of precision to dump floating-point numbers.
To recap: serialize_precision defaults to -1, which will print exactly as
many floating-point digits as are needed to represent the number
