Printing floating points

[Ola Fosheim Grøstad]

On Friday, 29 January 2021 at 14:24:17 UTC, Bruce Carneal wrote:
> Then I misunderstood you all along.  I thought that you were 
> describing something that would be part of a formal proof.

A formal proof would have to be machine checked. So you need a 
good solver/verifiers. And experience to make good use of, and 
patience... I think we can safely say that this is out of scope 
for the D community at this point.