Text this: Numerical toolbox for verified computing /