Append only CRDT based counters