[R6RS] fixnum operators and overflow detection

[dyb at cs.indiana.edu]

> I don't want to revise the arithmetic SRFI until we have some
> agreement on this, because I don't want have to go through it
> twice.

Now that Mike has acquiesced, let's declare a concensus.  Please proceed
with the names you've outlined.
 
Kent