Sorting Real Numbers