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
signature.asc
Description: Digital signature
