This is interesting. I think a number could be of low complexity in terms of approximating it to within smaller and smaller $\epsilon $, while of high complexity in terms of finding its binary representation. Just imagine that its binary representation has many long stretches of 0s (and/or 1s) so the number is unusually close to some simple dyadic rationals like $1/2$.
You may find something about this in Chapter 7 of Weihrauch's book Computable Analysis.