Right now there is a unsigned/sign-extend issue in the use of counter.increment(-num) on 32bit platforms.

We should add decrement and use the underlying subtractAndFetch with the incoming unsigned value.