Email Record: The real number system in an algebraic setting