> Sure. But you realize that reals are sometimes equal? Of course. > Also, comparison is also undecideable, and that's pretty certainly an operation you want

> Sure. But you realize that reals are sometimes equal? Of course. > Also, comparison is also undecideable, and that's pretty certainly an operation you want to have at times. Why?