php-parser/lib/PhpParser/PrettyPrinter
Nikita Popov 8b64195cf2 Try .17G print if .16G is not enough
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.
2015-05-02 11:48:55 +02:00
..
Standard.php Try .17G print if .16G is not enough 2015-05-02 11:48:55 +02:00