Agreed, I think that one of the consequences of the article is that computable numbers are generally a substitute for how most people think about the reals (e.g

Agreed, I think that one of the consequences of the article is that computable numbers are generally a substitute for how most people think about the reals (e.g. the fundamental theorem of algebra is true for computable numbers extended with the square root of -1, not just complex numbers).