Text this: Reliable Implementation of Real Number Algorithms: Theory and Practice