tree 91012526a941414f1d09e5640d34bee5ccfd240f
parent 9e6807c3c9d5036e999f636f936df07b72284442
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1563896793 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1563896793 -0300

Fixed bug in 'string.format' with option '%f'

As an example, 'print(string.format("%.99f", 1e70))' may have a
lot of garbage after the number.

The old test to ensure that 'string.format("%.99f", n)' was not too
large, 'fabs(n) < 1e100', assumes that the number will fit in the 99
bytes; but the 99 is not the space for the number, it is the added
extra zeros.  The option worked for smaller numbers because of the
extra space added to MAX_ITEM.