@jeffcliff @nousnaut The way you construct numbers with no decimal expansion is, in fact, to define them in such a way that the decimal expansion would encode a Turing machine that solves the halting problem. If you define such a thing, you need to do a bunch of set theory to show that it actually exists, which is some really neat but super abstract math.