bool OutputDevice::ok() { return getOStream().good(); }
void OutputDevice::setPrecision(unsigned int precision) { getOStream() << std::setprecision(precision); }
void RDOResults::width(std::size_t w) { getOStream().width(w); }