[WithinReason]

What if you want to decide if x<y when actually x==y? Then your comparator doesn't halt.

[nyrikki]

You need to move past decimal expansion, there are sufficient methods to prove one sided limits on the reals in finite time.