clog << "Using " << Digits << " digits" << endl;
clog << Pi << " evalfs to: " << Pi.evalf() << endl;
clog << Catalan << " evalfs to: " << Catalan.evalf() << endl;
clog << "Using " << Digits << " digits" << endl;
clog << Pi << " evalfs to: " << Pi.evalf() << endl;
clog << Catalan << " evalfs to: " << Catalan.evalf() << endl;