val of_signed : Signed.long -> t
val equal : t -> t -> bool
val shift : t -> int -> t
val of_string : string -> t option
val to_string : t -> string
val random_prime : bits_amount:int -> t
val gcdext : t -> t -> t * t * t
val divexact : t -> t -> t
module Infix : sig ... end