I'm not sure if that's relevant. You're pointing out that ordering of the reals is not computable, which is true, but ordering of the computable numbers isn't e

I'm not sure if that's relevant. You're pointing out that ordering of the reals is not computable, which is true, but ordering of the computable numbers isn't even computable. This isn't relevant to whether a symbol in a computer algebra system can refer to a particular number (whether computable or not).