On Tue, Sep 28, 2021 at 11:55:06AM +0200, Stefan Israelsson Tampe wrote:
> Then this does not work well
> 
> (fold min (inf) (list 1
> 2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
> 3 4))
> 
> which is a pity, we should have an exact inf as well

Yeah, the idea of a numerical "tower" breaks down a bit in
the presence of arbitrarily big ints and exact fractions of
those. Suddenly, IEEE 754 aren't (always) at the tower's
"top".

It is as if someone attached a balcony to one of the
tower's sides and put an even taller tower on top of
that :-)

Cheers
 - t