Printing floating points

[Walter Bright]

On 1/22/2021 5:11 AM, deadalnix wrote:
> ryu pushes thing forward significantly, and proved it was correct to do so. I 
> can't stress enough the importance of that last part, because there are no way 
> you can check all possible double values by yourself and see if the output is 
> correct.

True, but you *can* do it for float values, and the double algorithm is just 
more bits.