optimize: use lua_pushinteger instead of lua_pushnumber in ngx_http_lua_ngx_time().