document or tighten let integer overflow

[micans]

\let{2**63}
\let{2**63-1}
\let{2**62+2**62+1}
.
<-------------- zoem -------------->
-9223372036854775808
9223372036854775807
-9223372036854775807

Underneath this is undefined behaviour at the C level.