So Boehm had no choice but to go even deeper. It was time to get serious. We started off with integers (bignum), went to rational numbers, then algebraic numbers. What's next? Constructive real numbers. https://t.co/ehW77BDXSB
