A few questions. Technically, the C standard allows for machines which don't use 2's complement. So should we consider our LONG_MIN to be -2^63 + 1?
Also, signed arithmetic overflow is undefined behavior, so should we also indicate that we have undefined behavior or should we use some function that reliably detects and wraps signed arithmetic? Bit shifting to the right with signed integers is undefined behavior too. Usually this is an arithmetic shift, but it's not guaranteed. Should we try to guarantee this with some function or should we leave this as undefined behavior? Before I make my proposal, what do you think of supporting the following operators: +, -, /, *, not, and, or, comp, <<, >> Should the logical operators have english names or should they be C symbols like !, &, |, ~ ?