This really is the best way to start a conversation:

crobert [{}]:
what the fuck; if you have nonunique decimal expansion then the tree isnt bijective with the set of all reals

Alternatively, this is the reason I'm not in the Pure Math Club.