How hard can it be to write a simple four-function calculator program? After all ... for [Boehm] and his collaborators was that you could use RRA only for cases where you deal with inexact ...