Pari.Fp
type t = Integer.t
val add : t -> t -> modulo:t -> t
val pow : t -> exponent:t -> modulo:t -> t