>>505
除法における剰余は実質的に厳密に定義されているわけではないからなあ。
wikipedia http://ja.wikipedia.org/wiki/%E9%99%A4%E6%B3%95#.E5.AE.9A.E7.BE.A9　では、正剰余、負剰余、最小非負剰余、絶対値最小剰余、等があるようで、その場その場で便利であるように解釈されていると思います。
で　>>500 の場合は、正剰余と考えるのが妥当でしょう。