>>18
すうがくでいう余りは、除数、被除数のいずれかが負のときは文脈定義だし、 C の % も、最小非負剰余であるか絶対値最小剰余であるか、あるいはそれ以外になるかどうかは（仕様書にははっきり書かれていないが）処理系依存だった記憶があります。