arguably 1 and 1.0 shouldn’t be equal, since they are different values. That argues in favor of

1 < 1.0(.0)*