Algebra of real numbers