Deposing Dictators

[Terry Reedy]

"Stephen Horne" <steve at lurking.demon.co.uk> wrote in message
news:kr5rmtsh1gl6api2u3nks4p38q3n9sqsav at 4ax.com...

> 1 is not equivalent to 1.0


Equivalent -  common definition: equal in value, as in: $1 has the
same value as $1.00.
Equivalent - technical definition: isomorphic images of each other, as
in: 1 and 1.0 are matched by the unique isomorphism between integers
and a subset of the reals.

Terry J. Reedy