While most texts on real analysis are content to assume the real numbers, or to treat them only briefly, this …