Printing floating points

[Bruce Carneal]

On Thursday, 28 January 2021 at 08:30:40 UTC, Ola Fosheim Grøstad 
wrote:
> 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.

We seem to repeatedly misunderstand one another on this topic so 
a quick back and forth, without burdening others in the forum, 
would be a good way to go from here.

I'll be at the end-of-Jan beerconf for much of the time (I'm 
GMT+8 but will probably overlap with your daytime hours) so if 
you're interested we can establish a 2-way comm channel there and 
quickly, I believe, converge on understanding.