User blog comment:Mr. Junky/Something surprising I have been thinking about for a while/@comment-25601061-20170723145208/@comment-3427444-20170723151208

Also, the argument you said counts only the real numbers with a finite number of digits after decimal point. There are much more such numbers with an infinite number of digits after decimal point.