I've been noodling with Hans Boehm's constructive reals package since the "Toward an API for the Real Numbers" post: https://news.ycombinator.com/item?id=24700

I've been noodling with Hans Boehm's constructive reals package since the "Toward an API for the Real Numbers" post: https://news.ycombinator.com/item?id=24700705 https://news.ycombinator.com/item?id=24700705 The Android calculator app. got some nice usability improvements by using a combination of rationals, as described in this story, and recursive (aka constructive or computable) reals. A previous post on Microsoft's calculator brought my attention to an old package it uses called Ratpack (aka ratpak), another implementation of rationals: https://news.ycombinator.com/item?id=19321217 https://news.ycombinator.com/item?id=19321217 It has some nice properties for use in a calculator, but it can be quite slow. When I come across a library with, shall we say, an exotic numeric representation, it's nice to have a library of mathematical functions included. I see that python-cf indeed includes a solid batch.