User blog comment:Mr. Junky/Something surprising I have been thinking about for a while/@comment-5029411-20170723154008/@comment-25601061-20170723193211

But only with real numbers with finite decimal digits