The problem with embedded CRDT counters and a solution