Marshall: Exact real arithmetic based on Dedekind realsgithub.com/andrejbauer29 pointsmjn14 years ago