The replace arithmetic assist should be offered on negation and `.pow()`

While it is offered for most of the binary arithmetic operations, it currently does not trigger on `x.pow(e)` and the unary `-x` both of which have variants with specified overflow behavior.