Add CRDT counter functions