const char * g_real_name[] = {
"single",
"double",
- "long double"
+ "long double",
+ "VFPU",
+ "Rational<int64_t>",
+ "Rational<Arbint>"
};
+
+#if REAL == REAL_RATIONAL_ARBINT
+ template <> Gmpint Tabs(const Gmpint & a)
+ {
+ return a.Abs();
+ }
+#endif
}