Comparing And Ordering Real Numbers