替换算术辅助应提供于否定和 `.pow()` 中

虽然它适用于大多数二进制算术运算,但目前它不会触发 `x.pow(e)` 和单项 `-x`,而这两者都有指定溢出行为的变体。