For those interested, there's a nice exposition that treats real numbers as infinite decimals in Hubbard and Hubbard's
Vector Calculus, Linear Algebra, and Differential Forms: A Unified Approach [1]
[1] http://matrixeditions.com/5thUnifiedApproach.html