Re: dtoa, etc, and changes in that area (and PR lib/56937)

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Mon, 10 Apr 2023 19:15:34 -0000 (UTC)
    From:        christos%astron.com@localhost (Christos Zoulas)
    Message-ID:  <u11n8l$uat$1%ciao.gmane.io@localhost>

  | 50% done of an 8K line diff.

Great, thanks ... there's no huge urgency, the issues have been there
for a long time, it would just be nice to have it ready (and available
for a while, so it can be properly tested) before -10 is released.

kre