Module BigInt

module BigInt: sig .. end

type t 

val compare : t -> t -> int

Constants

val zero : t

val one : t

val of_int : int -> t

Basic operations

val succ : t -> t

val pred : t -> t

val add_int : int -> t -> t

val mul_int : int -> t -> t

val add : t -> t -> t

val sub : t -> t -> t

val mul : t -> t -> t

val minus : t -> t

val sign : t -> int

Comparisons

val eq : t -> t -> bool

val lt : t -> t -> bool

val gt : t -> t -> bool

val le : t -> t -> bool

val ge : t -> t -> bool

Division and modulo operators

Euclidean division

By convention, the modulo is always non-negative. This implies that division rounds down when divisor is positive, and rounds up when divisor is negative.

val euclidean_div_mod : t -> t -> t * t

val euclidean_div : t -> t -> t

val euclidean_mod : t -> t -> t

"Computer" division

Division rounds toward zero, and thus mod x y has the same sign as x.

val computer_div_mod : t -> t -> t * t

val computer_div : t -> t -> t

val computer_mod : t -> t -> t

min, max, abs

val min : t -> t -> t

val max : t -> t -> t

val abs : t -> t

Number of digits

val num_digits : t -> int

Power of small integers

Second argument must be non-negative.

val pow_int_pos : int -> int -> t

val pow_int_pos_bigint : int -> t -> t

Conversions

val of_string : string -> t

val to_string : t -> string

val to_int : t -> int

val is_int : t -> bool