Thoughts and comments on P1788/D9.5
On Sat, 10 Jan 2015 15:13:09 +0200, Hossam Fahmy wrote:
> Page 67, lines 6 to 12, for 754-2008 decimal formats, the restriction
> d_0 \neq 0 (representation with smallest quantum) is incompatible with
> the definition of "decimal number" on page 55 within sub-clause 12.11.2
> number literals and its use in all the subclauses of 12.11.
P67 describes num->string, P55 describes string->num: not incompatible.
The general rule is: permissive on input, strict on output.
> Furthermore, the dropping of trailing zeros conflates 0.060 and 0.06
> as being the same while obviously 0.060?1 and 0.06?1 are not the same.
When the output conversion specifier selects "uncertain form", it clearly
uses different rules than when it selects "infsup form". The trailing-zero
rule stated on page 67 applies to straight numerals, and in any case dropping
trailing zeros is optional, not required.
Others have already explained why Inf takes precedence over NaN in SumAbs.
Michel.
---Sent: 2015-01-10 19:22:32 UTC