More conservative defined behavior for signed modulo.

For example, INT_MIN % -1 is now undefined behavior.