Add casts to lua_Number to allow working with floating point runtimes