C++ Toolbox for Verified Computing I by Matthias Hocks & Rolf Hammer