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
..
parser	Add some recovery tests	2015-04-30 19:02:51 +02:00
prettyPrinter	Try .17G print if .16G is not enough	2015-05-02 11:48:55 +02:00