Hans Boehm (of garbage collector fame) describes how they improved the Android calculator to do the Right Thing instead of just giving the floating point answers.

In case you prefer a video, this paper was discussed in https://www.youtube.com/watch?v=Ub86BRzqndA and that's how I discovered it.