подписанное деление в C

Я читал раздел о переносимости C в книге C Traps and Pitfalls Эндрю Кенинга..

On целочисленное деление

q = a/b;
r = a%b;

Если a — отрицательное число, по-видимому, напоминание rможет быть отрицательным или положительным числом, удовлетворяя при этом свойству

q * b + r == a

Обычно я ожидал бы, что rбудет быть отрицательным, если делимое aотрицательно. И это то, что я вижу в машине Intel с gcc. Мне просто любопытно, видели ли вы когда-нибудь машину, которая возвращает положительное напоминание, когда делимое является отрицательным числом?