3.2*2 is 9.6 ... or maybe it isn't?

[Scott David Daniels]

pdpi wrote:
> ... But since 10 = 2 * 5, all numbers that can be finitely represented in
> binary can be represented finitely in decimal as well, with the exact
> same number of  places for the fractional part (and no more digits
> than the binary representation in the integer part)

OK, so base 30 is the obvious choice, digits and letters, and 1/N works
for n in range(1, 7) + range(8, 11).  Gödel numbers, anyone? :-)

--Scott David Daniels
Scott.Daniels at Acm.Org