tcl脚本中关于算术操作符的问题与思考？ -1/2等于几？

问题背景：

为了在使用Xilinx开发套件的时候提高开发效率，打算学习一下tcl，参考的是高亚军老师的《Vivado/Tcl零基础入门与案例实战》。

---

问题描述

在看到算术操作符的时候，看到书中这样写到“对于a/b，其结果需要满足“a=q*b+r”且"0<=|r|<|b|"，同时，r和q同符号。在这里，q是a除以b的商，r是余数”。让我有疑惑的就是在这个地方，例如tcl执行exr {-1/2}后如下：

expr {-1/2}
-1

按照a=q*b+r这个等式，q为-1，那么r就为1，这就不满足“r和q同符号”这条规则。刚开始我以为是老师书籍中的错误，但是其他的结果都满足“r和q同符号”这条规则。只有被除数小于除数，且被除数小于0时，才会出现这个问题。换句话说，在tcl中被除数小于除数，且被除数小于0时，结果都等于-1，并不是很理解这个原因。写下这个帖子的原因一是为了记录这个小疑惑，二是没有找到网上有类似的问题。