ZCARD return int64