Text this: Foundations of real numbers.