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

> Thomas Bushnell BSG <xxxxxx@becket.net> writes:
>
>>>> To the contrary, I think requesting *any* model should be explicit.
>>>>
>>>> Can you help me out here by explaining *why* it is so painful to be
>>>> explicit?
>>>
>>> Because I see no sane way of *switching* models. They shouldn't be
>>> changed, they should be added (adding new numeric types, extending
>>> existing operations - not replacing).
>>
>> Who spoke of switching models?
>
> So how would you support IEEE and non-IEEE inexact reals at the same
> time?

You are still pretending that "IEEE real" is a datatype instead of a
set of rules for computations.

> Which of them would the syntax like "3.14" resolve to?

Neither, because "IEEE real" is not a datatype.

Thomas