Yeah equality of computable reals is undecidable (basically the halting of a Turing machine can be encoded as a computable real being nonzero).