+#elif REAL == REAL_RATIONAL_ARBINT
+ #define ARBINT Gmpint // Set to Gmpint or Arbint here
+
+ typedef Rational<ARBINT> Real;
+ inline float Float(const Real & r) {return (float)r.ToDouble();}
+ inline double Double(const Real & r) {return r.ToDouble();}
+