Printing floating points

[Ola Fosheim Grøstad]

On Friday, 29 January 2021 at 22:03:26 UTC, Ola Fosheim Grøstad 
wrote:
> input/output is tiny. You can (after unrolling) convert the IR  
> to  64 logical propositions. One big logical (boolean) formula 
> for each bit in the output.

Or more likely 128 boolean expressions, since you probably have 
more chance of resolution if you first show that there is no 
solution for output1 == false && input1 == true, then you do the 
same for output1 == true && input1 == false.