Thank you for confirming.
If it throws CAS exception, then it is not exactly same as how counter behaves. That is why I tried to double confirm. As far as I understand, counter api does not raise an exception when you try to update a number concurrently.
I think it is good enough though. Thank you!