[Cfp-interest 2007] Re: AIs related to range errors clarifications

[Jim Thomas]

The IEC 60559 model for correct rounding includes a (hypothetical) preliminary result correct to infinite range and precision. In C (outside of Annex F), which doesn’t have this model and doesn’t require correct rounding, what does “result with infinite precision” refer to?

- Jim Thomas

> On May 22, 2021, at 5:07 PM, Fred J. Tydeman <tydeman at tybor.com> wrote:
> 
> On Sat, 24 Apr 2021 17:08:11 -0700 Jim Thomas wrote:
>> 
>> https://wiki.edg.com/pub/CFP/WebHome/C23_proposal_-_overflow_and_underflow_definitions-20210424.pdf 
> 
> An alternative wording for the underflow case:
> 
> [6] The result underflows if a nonzero result with infinite precision would have
> magnitude (absolute value) less than the minimum normalized number in the 
> type.249)...
> 
> 
> 
> ---
> Fred J. Tydeman        Tydeman Consulting
> tydeman at tybor.com      Testing, numerics, programming
> +1 (702) 608-6093      Vice-chair of PL22.11 (ANSI "C")
> Sample C99+FPCE tests: http://www.tybor.com
> Savers sleep well, investors eat well, spenders work forever.
> 
> _______________________________________________
> Cfp-interest mailing list
> Cfp-interest at oakapple.net
> http://mailman.oakapple.net/mailman/listinfo/cfp-interest