gcc 11.1.0: printf("%.43f\n", 0x1.52f8a8e32e982p-140): printed value is incorrectly rounded

[Brian Inglis]

On 2021-11-04 11:58, Keith Packard wrote:
> Dave Nadler <drn@nadler.com> writes:
> 
>> Keith, this Ryū implementation also removes use of malloc in FP
>> conversion right?
>> That would solve lots of problems in the embedded world.
>> Thanks,
>> Best Regards, Dave
> 
> Yes. This is why picolibc uses this code (picolibc also removes malloc
> in the rest of stdio).

Keith,

I believe the implementation uses tables: that could be an issue in the 
embedded world; can you comment on the table space required for 32, 64, 
128 bits?

-- 
Take care. Thanks, Brian Inglis, Calgary, Alberta, Canada

This email may be disturbing to some readers as it contains
too much technical detail. Reader discretion is advised.
[Data in binary units and prefixes, physical quantities in SI.]