> Actually, that one works fine in both niecza and rakudo, since those are Rats.
Oh, that's good to hear. It doesn't change my underlying argument however. Any operations performed on genuine floats are going to lose precision, and if we're using such operations to infer relationships (such as equality or sequence) then we ought to take the loss of precision we're causing into account when deciding outcomes. Which seems to mean either (a) making it a compiletime error to request sequence inferences on floats , or (b) comparing the differences and quotients within the sequence inference with a larger epsilon (or using interval arithmetic). Damian