5
votes
1answer
130 views

Behavior of 1.2 ∈ Rationals changes in v9?

A friend of mine using version 9 recently showed me this: It's strange because in version 8.0.4 1.2 ∈ Rationals does return ...