Comparing irrational numbers