Per Bothner <xxxxxx@bothner.com> writes:

> Taylor Campbell wrote:
>> Coercion to integers of a given modulus, for
>> example, from other integers, is accomplished with a procedure we
>> already have in R5RS, namely MODULO;
>
> Not the same.  The coercion creates a value with a different run-time
> type, such that the generic + operator uses modulo arithmetic.

Can you coerce to fixnum a number which is bigger than maxint, and
reliably get modulus, or would that coercion be an error?