It is supposed to work that way, though it is tricky to find out by reading the documentation:
Non-integral results are truncated (chopped) towards 0.
Combined with the "division law" X = dq + r (the dividend is the divisor times the quotient plus the remainder), we find that therefore the remainder r = X - d truncate(X / d)
This shows that the remainder depends on the sign of the dividend, but not on the sign of the divisor.
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…