Comparison of Real Numbers