Printing floating points

[Ola Fosheim Grøstad]

On Tuesday, 26 January 2021 at 21:10:20 UTC, Bruce Carneal wrote:
> Even if you don't come up with proof, the attempt may be worth 
> your time.  Good luck.

Not sure what you mean... Why would anyone waste their time on 
trying to prove something for code they have no control over, it 
could change any minute, and which implementation by the way? 
*shrugs*