lua_Integer maybe a 64bit integer