Pari.Rational
type t = (rational, field) typ
val inj_ring : t -> (rational, ring) typ
val inj_real : t -> Real.t
val inj_complex : t -> Complex.t
val shift : t -> int -> t