cdef extern Rational (si2sa_QQ(number (*),ring (*))) cdef extern number (*(sa2si_QQ(Rational ,ring (*))))