Cofnod E-bost: C++ toolbox for verified computing I