Ah, you are right! At least wrt the "naive" mapping of irrationals to binary representation. My gut still tells me it's bijective, but the mapping has to be a bit more involved :D