[ShorsHammer]

This was an interesting read, I like exact reals and all the trade-offs involved, paper does a good job working through that.

Not sure if you are the author but there's a typo in the Introduction:

> The mathematical real numbers clearly play play a central role