[PATCH] Document arithmetic overflow semantics

[Richard Kenner]

    There are more bugs in this area, than I can hope to address.

But you have pointed out correctly that it does need to be addressed
at some point.