C++ Toolbox for Verified Computing I: Basic Numerical Problems | lit.salon