Marcin 'Qrczak' Kowalczyk <xxxxxx@knm.org.pl> writes:

> Thomas Bushnell BSG <xxxxxx@becket.net> writes:
>
>> (with-ieee-floating-point ...) can just be syntactic sugar for a
>> specification of whatever options is the right set.
>
> Let's make this the default, so users know what to expect,
> and introduce options for hypothetical other interpretations.

This is at this point a dishonest argument of yours.

Users *will* know what to expect, in fact, it will be *easier* for
them to know that because the declaration will be right there in front
of their eyes.

I can see no plausible reason for rejecting this strategy except that
you want exactly what you want, with no room for disagreement or
alteration at all.

Thomas