I have similar feelings though I would allow all computable numbers, which would still exclude almost all the reals (while including all rationals and important

I have similar feelings though I would allow all computable numbers, which would still exclude almost all the reals (while including all rationals and important real numbers like e and pi). Thanks for the interesting discussion!