[Cfp-interest] nextup()
Fred J. Tydeman
tydeman at tybor.com
Mon Aug 20 17:46:48 PDT 2018
On Mon, 20 Aug 2018 15:58:21 -0700 Jim Thomas wrote:
>
>>> Also, if long double is a pair of doubles, what is nextup(1.L)?
>>> Is it
>>> 1.L + LDBL_EPSILON
>>> or
>>> 1.L + LDBL_TRUE_MIN == 1.L + LDBL_EPSILON * LDBL_MIN
>>
>> I'd think the latter. The ragged precision of double-double is already a problem in C (e.g., what is p?). and not something CFP needs to address.
>
We could add:
If the result is finite, it shall be one of zero, subnormal, or a normalized number.
---
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