[PATCH] Document arithmetic overflow semantics

[Robert Dewar]

> This is why we should have proper annotations on the tree nodes
> so that Java can get the results that they need.

Certainly for + and -, Java can get what it wants