type t
val of_string_unsafe : string -> tval of_int32 : int32 -> tval of_float : float -> tval to_string : t -> stringval to_int32 : t -> int32
val is_zero : t -> boolval is_one : t -> boolval is_neg : t -> bool
val add : t -> t -> tval neg : t -> t