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 bu

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