Text this: C++ toolbox for verified computing I :