module Q: sig .. end
type Gmp.q
val zero : t
val one : t
val minus_one : t
val compare : t -> t -> int
val compare_int : t -> int -> int
val neg : t -> t
val abs : t -> t
val add : t -> t -> t
val add_int : t -> int -> t
val sub : t -> t -> t
val sub_int : t -> int -> t
val mul : t -> t -> t
val mul_int : t -> int -> t
val div : t -> t -> t
val fma : t -> t -> t -> t
val pow_int : base:t -> exponent:int -> t
val int_pow_int : base:int -> exponent:int -> t
val scale : t -> base:int -> exponent:int -> t
val root : nth:int -> t -> t
val sqrt : t -> t
val num : t -> Gmp.z
val den : t -> Gmp.z
val of_based_string : base:int -> string -> t
val of_string : string -> t
val to_based_string : base:int -> t -> string
val to_string : t -> string
val of_int : int -> t
val of_float : float -> t
val to_float : t -> float
val of_z : Gmp.z -> t
val make_int : int -> int -> t
val make_z : Gmp.z -> Gmp.z -> t