Random Precision

[J Q Johnson]

> 17 is the most random number.

Similarly, of course, it is well known that there are no uninteresting
natural numbers, for if there were then there would be a first one, and
the property "the first uninteresting natural number" is certainly
interesting.  Long live the real numbers!  Down with floating point
numbers, which are just a finite subset of the naturals in disguise!