operator ~/ 抽象方法

截断除法运算符。

对指定数字执行截断除法，除数是 other。截断除法是指将结果的小数部分转换为整数，并四舍五入到最近的零。

如果两个操作数都是 int 类型，则除数 other 不能为零。那么 a ~/ b 对应于 a.remainder(b)，即 a == (a ~/ b) * b + a.remainder(b)。

如果任一操作数是 double 类型，则在进行除法和截断之前，另一个操作数会被转换成 double 类型。此时，a ~/ b 等同于 (a / b).truncate()。这意味着双精度除法的中间结果必须是一个有限的整数（不是无穷大或 double.nan）。