Printing floating points

[Walter Bright]

On 1/26/2021 6:17 PM, 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.

We only really need it when the C stdlib printf is inadequate.