Cardinality of the real numbers