Re: Constructors motion 30 Version 2: small amendment
> So, even after correcting the last line to
> Ýtext2num(text,roundDown),text2num(text,roundUp)¨
> text2interval cannot be expressed with text2num on general text.
Yes, I realised later that my statement
>> Unlike text2interval(), text2num() (if referring to the 754-2008 one)
>> only applies to decimal (or perhaps other bases) digit strings, so this
>> issue does not arise (nor does text2num("Ý1,2¨"), for the same reason).
did not fully deal with what Dan had written.
However, the following DOES cover the situation:
>> In any case, the meaning of rounding for 754-2008 operations applies
>> only ONCE, in coercing the result to a result format (formatOf concept).
>> So both explicit (as a 2nd argument) or implicit (as local mode) rounding
>> are unambiguous when applied to a single operation.
In other words, if we interpret text2num(text,rounding) as a single operation,
extending the space of interpretable text strings to include exact reals in
any number of forms, then Dan's interpretation does work.
Michel
---Sent: 2012-02-08 16:02:06 UTC