Added definition of lua_number2int for Lua 5.1