+ inline Real RealFromStr(const char * str) {return Real(strtod(str, NULL));}
+#elif REALTYPE == REAL_IRRAM
+ typedef iRRAM::REAL Real;
+ inline double Double(const Real & r) {return r.as_double(53);}
+ inline float Float(const Real & r) {return r.as_double(53);}
+ inline int64_t Int64(const Real & r) {return (int64_t)r.as_double(53);}
+ inline Real Sqrt(const Real & r) {return iRRAM::sqrt(r);}
+ inline Real RealFromStr(const char * str) {return Real(strtod(str, NULL));}