Предполагается, что он будет работать таким образом, хотя это сложно узнать, прочитав документацию:
Неинтегральные результаты усекаются (обрезаются) до 0.
В сочетании с «законом деления» X = dq + r (дивидендом является делитель, умноженный на частное и остаток), мы находим, что, следовательно, остаток r = X - d усекается (X / d)
Это показывает, что остаток зависит от знака дивиденда, но не от знака делителя.