I think with CRDT's you wouldn't just have an integer type. You would have to choose your int type acording to the operations you would want done for it. So it could be declared as a "register" crdt, in which case the semantics would be of set and override, or it could be declared as a counter, with semantics of increment/decrement.
