On two positive numbers the remainder is positive, and if only one is negative the sign is implementation dependent. The ARM is clear so far. But, what if BOTH are negative?