Printing floating points

[Joseph Rushton Wakeling]

On Wednesday, 27 January 2021 at 02:17:52 UTC, H. S. Teoh wrote:
> If there was a way to make these tables pay-as-you-go, I'd vote 
> for it. Adding 104KB or 52KB even if the code never once 
> formats a float, is not ideal, though granted, in this day and 
> age of cheap, high-capacity RAM not really a big issue.

Agree completely -- pay-as-you-go should be important for 
something like this.  (But then, it should be important for the 
whole stdlib...)