[Cfp-interest 1699] Re: printf with %a

[Fred J. Tydeman]

On Sat, 18 Jul 2020 10:57:51 -0700 Jim Thomas wrote:
>
>This requirement is satisfied by +0x2.p+1 and it is arguably correctly rounded, assuming default rounding direction. 

That has a rounding error and is inexact.
While, 0x3.p+1 has no error and is exact. 
Both 2 and 3 take two bits before the radix point.
So, it can do 2, it should be able to do 3.



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