Decrements are implemented as increments before