IMPLICITCAST LREAL LONGINT (convert(a)) LINTERVAL LONGINT (convert(a)) INTERVAL LONGINT (convert(a)) LREAL LIFRAC (convert(a.num)/convert(a.den)) LINTERVAL LIFRAC (convert(a.num)/convert(a.den)) INTERVAL LIFRAC (convert(a.num)/convert(a.den)) DOUBLE LONGINT (convert(a)) DOUBLE LIFRAC (convert(a.num)/convert(a.den)) LONGINT INTEGER (a) END UNARYFUNCTIONS Interval INTERVAL LONGINT (convert(a)) LReal LREAL LONGINT (convert(a)) LInterval LINTERVAL LONGINT (convert(a)) Interval INTERVAL LIFRAC (convert(a.num)/convert(a.den)) LReal LREAL LIFRAC (convert(a.num)/convert(a.den)) LInterval LINTERVAL LIFRAC (convert(a.num)/convert(a.den)) END BINARYFUNCTIONS Interval INTERVAL LONGINT LONGINT (convert(a)|convert(b)) LInterval LINTERVAL LONGINT LONGINT (convert(a)|convert(b)) Interval INTERVAL LIFRAC LIFRAC (convert(a.num)/convert(a.den)|convert(b.num)/convert(b.den)) LInterval LINTERVAL LIFRAC LIFRAC (convert(a.num)/convert(a.den)|convert(b.num)/convert(b.den)) bracket INTERVAL LIFRAC LIFRAC (convert(a.num)/convert(a.den)|convert(b.num)/convert(b.den)) END