pi and e and sqrt(2) are real numbers and not rational, to be sure. But they are computable! Computable just means that they are arbitrarily approximable. "approximate relative to what" is that whatever criteria defines the number. You can't represent the "true" value of a non-rational number in the rationals, but you can prove that the error of an approximation is (rationally) bounded above and below, and you can have another approximation with a tighter bound.

Rational numbers are already infinitely precise relative to other representations -- finite decimals are another representation that is functionally equivalent to the rationals, but even a simple rational like 1/3 does not have a finite decimal value.

You can prove all the interesting theorems with computable numbers and rational/decimal numbers. You don't need the real numbers because you can't name a real number that exists and is not computable, BY DEFINITION! No mathematical construction can define a real number that is not constructible. These numbers are useless and there's no reason to continue even in abstract mathematics to pretend that they are useful because we have the formalisms to ignore them.