[Cfp-interest 2038] Underflow
Fred J. Tydeman
tydeman at tybor.com
Thu Jun 24 06:44:51 PDT 2021
N2746 is proposing for the definition of underflow:
[6] The result underflows if a nonzero result value with ordinary
accuracy would have magnitude (absolute value) no larger than the
minimum normalized number in the type.249
I would prefer:
[6] The result underflows if a nonzero result value, before rounding,
would have magnitude (absolute value) less than the minimum normalized
number in the type.249
Also, I believe that "inexact" should be added to the footnote as:
249)The term underflow here is intended to encompass both "gradual
underflow" as in IEC 60559 and also "flush-to-zero" underflow. IEC
60559 underflow can occur in cases where the magnitude of the inexact
rounded result equals the minimum normalized number in the format.
---
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.
More information about the Cfp-interest
mailing list