Comment by klodolph

Note that like the rational numbers, the field of “useful reals” is not complete.

So if you have a sequence of “useful reals” that is Cauchy, it will converge to a real number but it may or may not converge to a “useful real”.