Comparison of natural numbers