I think that would've only helped a little bit. I imagine most instances of this problem don't occur in abs() (which is just an illustration of the underlying p

I think that would've only helped a little bit. I imagine most instances of this problem don't occur in abs() (which is just an illustration of the underlying problem), but when people perform simple negation.