implement incr/decr in Redis; add rcs.zero