[esmi]

> What's the test for when two numbers are equal?

I put this in another comment but: For the reals: eliminate a < b and a > b then conclude a = b.