Real Numbers and Operations