Calculators conventionally use some flavor of fixed precision floating point
arithmetic. The bundled Android 6.0 Marshmallow calculator instead uses
demand-drive evaluation or “constructive real” arithmetic to guarantee fully
accurate results. We explain why this matters, the opportunities it creates, and
the challenges in incorporating constructive real arithmetic in a tool aimed at a
very broad audience.