The way I parse "decimal number" in this context is a number expressible as a (finite?) string of decimal numerals. Those numbers are not reals, they are rationals.