crdt: add bounded counter