Real Numbers and their Operations