use lua_pushnumber in addEnum