Re: why tostring for number use LUA_NUMBER_FMT "%.14g", not "%.16g" ?

[Dirk Laurie <dirk.laurie@...>]

2013/9/8 Coda Highland <chighland@gmail.com>:

>> Do we really want "tostring(0.1)" to return "0.10000000000000001"?
>
> Yes, I think we do. If you wanted something to LOOK pretty, instead of
> having it be CORRECT, you wouldn't use tostring() -- you'd be using
> print.format().

Who should be doing something non-default here? The person who knows
just enough Lua to script an extension to a game, or the person who knows
Lua backwards and forwards?