If an expression simplifier rewrote `x-0` to `x+0`, would you be angry with it? Is it ever worth rewriting `-0` to `0`?