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）。