+
+template<>
+string
+Interval_t<Rational>::T_to_string (Rational a)
+{
+ return a.to_string ();
+}
+
+template INTERVAL__INSTANTIATE (Rational);
+
+
+template<>
+Moment
+Interval_t<Moment>::infinity ()
+{
+ Moment infty;
+
+ infty.main_part_.set_infinite (1);
+ return infty;
+}
+
+
+template<>
+string
+Interval_t<Moment>::T_to_string (Moment a)