Decimal string to floating point conversion with correct half-to-even rounding

[Adam D. Ruppe]

On Tuesday, 7 July 2020 at 13:01:10 UTC, 9il wrote:
> This would be good advertising for DFL, haha.

I don't know what you mean...