Provides a good overview of how it works and perms website has more information.
What’s cool about the computable reals implementation is you can increase the precision after the fact and it will recalculate up to that precision. Basically it memoizes the steps of the calculation and how they affect the precision.
And if that does indeed work, that's pretty cool.