Avoid undefined behavior with unary minus.

With two's complement integers, negation of the most negative number is
undefined.  Arrange so that this never happens:  the minus is applied to an
unsigned type.
Remove a FIXME that doesn't need to be fixed.