Is integer overflow defined?

[Sean Eskapp]

Is integer overflow defined (for instance, as being mod 2^size)? Can I
reliably say that -long.min == 0L?