Great, thanks! It's helpful to know that such definable numbers are in fact a superset of computable numbers [1]; I was naïvely assuming these notions to be equivalent.

[1] http://en.wikipedia.org/wiki/Computable_number