[Cfp-interest] nextup()

[Jim Thomas]

> On Aug 2, 2018, at 10:21 AM, Fred J. Tydeman <tydeman at tybor.com> wrote:
> 
> Other necks() questions.
> 
> Many of the math functions in Annex F in C17, have words like:
> The returned values are exact and are independent of the current rounding direction mode.

Agreed. Are there other such places?

> 
> Perhaps those should be added to necks().
> 
> 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.

- Jim Thomas

> 
> 
> ---
> 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