commit | 2d3f09544895b422eeecf89e0d108da8b8fcdfca | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Fri Apr 12 11:48:24 2019 -0300 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Fri Apr 12 11:48:24 2019 -0300 |
tree | dcbb636cecf51d52945c1b0bd378f07781c5b987 | |
parent | b0810c51c3f075cc8a309bfb3c1714ac42b0f020 [diff] |
Avoid using large buffers in 'string.format' The result of "string.format("%.99f", -1e308) is 410 characters long, but all other formats have much smaller limits (at most 99 plus a fex extras). This commit avoids 'string.format' asking for a buffer ~400 chars large when ~100 will do.