Use lua_pushnumber to avoid overflow issues coming from being cast to signed type