Hope a preprint on arXiv could give you some help:
http://arxiv.org/abs/1101.1800
Abstract of this preprint:``In this paper we provide a complete approach to the real numbers via decimal representations. Construction of the real numbers by Dedekind cuts, Cauchy sequences of rational numbers...