> The decimal (real) numbers between 0 and 1 The way I parse "decimal number" in this context is a number expressible as a (finite?) string of decimal numerals

> The decimal (real) numbers between 0 and 1 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.