Text this: Foundations of real numbers