Should this flip `neg`? Specifically, what semantics do we want for e.g. `-(-128)`.