Boehm and colleagues developed a calculator app that shows correct answers by using arbitrary-precision fractions and rational arithmetic. They created a system called RRA that represents numbers as functions, allowing for precise calculations and symbolic representations of irrational numbers.