I think you are getting away from the actual original question, which is why (intuitively) the rationals are dense in the reals despite being a different form of infinity. The confusion wasn't about different forms of infinity, it was really about the topology of R with respect to Q - why is Q "big enough" yet Z "too small" despite the sets having the same cardinality? And that is intimately related to any fixed real number having a computable/rational approximation up to any accuracy, yet most real numbers not actually being computable.