Also, "significant precision", standalone, has no meaning. You need to
state the problem to know what is the significant precision.
I stated that: a "significant precision" is the precision by which two numbers can remain distinct for == or ~= in Lua.
It is that precision that the tostring() should preserve to create an equivalence between (x == y) and (tostring(x) == tostring(y)), where x and y are ANY Non-NaN Lua number values (including infinite values, or denormal values, or negative zero if they are supported).
This is notably needed to create safe (de)serializers.
