[Cfp-interest] nextup()

[Jim Thomas]

What problem is the suggested addition intended to solve?

> On Aug 20, 2018, at 5:46 PM, Fred J. Tydeman <tydeman at tybor.com> wrote:
> 
> 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.