Numerical Toolbox for Verified Computing I