mirror of
https://github.com/danog/PHP-Parser.git
synced 2024-12-02 17:28:27 +01:00
8b64195cf2
This should be enough for all cases, because: A double has 53 bits of mantissa (including the implicit 1 bit), which is 53*ln(2)/ln(10) = 15.95 decimal digits. However the leading decimal digit may encode less than the usual 3.32 bits, which will push this over the edge to requiring 17 decimal digits. |
||
---|---|---|
.. | ||
Standard.php |