Text this: Comparing Implementations of a Calculator for Exact Real Number Computation