Lourival Vieira Neto wrote: > Are you aware that we have already changed the language number type? > Thus, we have already changed the language itself? If you insist, we > can call that Lua', kernel Lua, or whatever you like.
It's documented: http://www.lua.org/manual/5.2/manual.html#lua_Number typedef double lua_Number; The type of numbers in Lua. By default, it is double, but that can be changed in luaconf.h. Through this configuration file you can change Lua to operate with another type for numbers (e.g., float or long). > > But seriously, you can easily implement it. It doesn't even have to be > > in a Lua core file. You can create a new file in you lua module directory. > > Yes, we can (how Obama says =). However, I don't see this as a priority. When I see something like this at work, I may set a reminder to follow-up after 6 months. I don't think mutt has this feature. Should I submit a PR instead? Alex
