
val add : Big_int_Z.big_int -> Big_int_Z.big_int -> Big_int_Z.big_int

val sub : Big_int_Z.big_int -> Big_int_Z.big_int -> Big_int_Z.big_int

val max : Big_int_Z.big_int -> Big_int_Z.big_int -> Big_int_Z.big_int
