Nothing wrong with that, it's still a computable number -- I'm not suggesting doing away with all real numbers, just the non-computable ones. I don't claim to

Nothing wrong with that, it's still a computable number -- I'm not suggesting doing away with all real numbers, just the non-computable ones. I don't claim to have thought through every detail, but having now gone and done some reading, this seems fine in the world of constructivism, which only requires computable numbers (and therefore only countable infinities of numbers)