Text this: The real number system in an algebraic setting.