[xigoi]

If you assume two’s complement arithmetic, then this is always equivalent because you’re basically just calculating the answer in a modular ring.