Up
module
Num
:
sig
#
type
num =
#
| Int
of
int
#
| Big_int
of
Big_int
.
big_int
#
| Ratio
of
Ratio
.
ratio
#
val
(+/) :
num
->
num
->
num
#
val
add_num :
num
->
num
->
num
#
val
minus_num :
num
->
num
#
val
(-/) :
num
->
num
->
num
#
val
sub_num :
num
->
num
->
num
#
val
(*/) :
num
->
num
->
num
#
val
mult_num :
num
->
num
->
num
#
val
square_num :
num
->
num
#
val
(//) :
num
->
num
->
num
#
val
div_num :
num
->
num
->
num
#
val
quo_num :
num
->
num
->
num
#
val
mod_num :
num
->
num
->
num
#
val
(**/) :
num
->
num
->
num
#
val
power_num :
num
->
num
->
num
#
val
abs_num :
num
->
num
#
val
succ_num :
num
->
num
#
val
pred_num :
num
->
num
#
val
incr_num :
num
Pervasives
.
ref
->
unit
#
val
decr_num :
num
Pervasives
.
ref
->
unit
#
val
is_integer_num :
num
->
bool
#
val
integer_num :
num
->
num
#
val
floor_num :
num
->
num
#
val
round_num :
num
->
num
#
val
ceiling_num :
num
->
num
#
val
sign_num :
num
->
int
#
val
(=/) :
num
->
num
->
bool
#
val
(</) :
num
->
num
->
bool
#
val
(>/) :
num
->
num
->
bool
#
val
(<=/) :
num
->
num
->
bool
#
val
(>=/) :
num
->
num
->
bool
#
val
(<>/) :
num
->
num
->
bool
#
val
eq_num :
num
->
num
->
bool
#
val
lt_num :
num
->
num
->
bool
#
val
le_num :
num
->
num
->
bool
#
val
gt_num :
num
->
num
->
bool
#
val
ge_num :
num
->
num
->
bool
#
val
compare_num :
num
->
num
->
int
#
val
max_num :
num
->
num
->
num
#
val
min_num :
num
->
num
->
num
#
val
string_of_num :
num
->
string
#
val
approx_num_fix : int
->
num
->
string
#
val
approx_num_exp : int
->
num
->
string
#
val
num_of_string : string
->
num
#
val
int_of_num :
num
->
int
#
val
num_of_int : int
->
num
#
val
nat_of_num :
num
->
Nat
.
nat
#
val
num_of_nat :
Nat
.
nat
->
num
#
val
num_of_big_int :
Big_int
.
big_int
->
num
#
val
big_int_of_num :
num
->
Big_int
.
big_int
#
val
ratio_of_num :
num
->
Ratio
.
ratio
#
val
num_of_ratio :
Ratio
.
ratio
->
num
#
val
float_of_num :
num
->
float
end