That is something I hit uppon recently, when I tried to find a binary representation that could concievably represent all real numbers, given enough bits of data. I don't think I've ever seen such a practical application of countability and cardinality. Really interesting where this stuff manifests in the real world.