float x double

[Roberto Ierusalimschy <roberto@...>]

> Has there been any discussion of changing the Lua float type from float
> to double? I did this on my own so that you could go from float type to int
> type without losing data.

We have tried to define all "floats" related to the internal representation
of numbers as "real", defined in types.h. Only the floats in lua.h were
left as "float", to avoid defining a new type in this header file. Therefore,
it should be very easy to change "number" from float to double, just changing
"real" in types.h and changing lua.h. Unfortunately, as the message said,
"we have tried", but we are not sure whether we have accomplished it. Did
anyone test this?


-- Roberto