inline double abs (mpq_class a) { return std::fabs(a.get_d()); }
double to_double(const mpq_class& st) { return st.get_d(); }