More work on crdt counter