Printing floating points

Thu Jan 28 08:30:40 UTC 2021

On Thursday, 28 January 2021 at 02:25:57 UTC, Bruce Carneal wrote:
> Regardless, you clearly do not understand what I'm asking in 
> question 1) and I do not think it likely that additional 
> interaction on this topic will be useful to either of us.

Asking for a mapping does not really make much sense without 
specifying the domain/codomain, but my answer actually holds even 
then.

Anyway, if you _actually_ are interested in this topic then you 
could start by looking at automatic test case generation using 
SMT solvers.