BatNum
Operation on arbitrary-precision numbers.
Numbers (type num
) are arbitrary-precision rational numbers, plus the special elements 1/0
(infinity) and 0/0
(undefined).
@documents Num
The type of numbers.
type t = num
val zero : num
Usual operations
val one : num
val ord : num -> num -> BatOrd.order
val of_int : int -> num
val to_int : num -> int
val of_float : float -> num
val to_float : num -> float
val of_string : string -> num
val to_string : num -> string
Convert a number to a string, using fractional notation. Two formats are recognized: simple integer literals and a pair of integer literals separated by a '/', to indicate a rational number.
val of_float_string : string -> num
Convert a simple floating point literal to a num. Plain integer literals are also accepted; numbers written with a trailing exponent are not currently accepted.
val is_integer : num -> bool
is_integer x
returns true
if x
represents an integer value, false
otherwise
val sign : num -> int
Return -1
, 0
or 1
according to the sign of the argument.
val operations : num BatNumber.numeric
val approx_num_fix : int -> num -> string
See Num.approx_num_exp
.
val approx_num_exp : int -> num -> string
Approximate a number by a decimal. The first argument is the required precision. The second argument is the number to approximate. Num.approx_num_fix
uses decimal notation; the first argument is the number of digits after the decimal point. approx_num_exp
uses scientific (exponential) notation; the first argument is the number of digits in the mantissa.
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
val print : 'a BatInnerIO.output -> t -> unit
Printing
module TaggedInfix : sig ... end
module Infix : sig ... end
module Compare : BatNumber.Compare with type bat__compare_t = t
val is_integer_num : num -> bool
val sign_num : num -> int
val string_of_num : num -> string
val num_of_string : string -> num
val int_of_num : num -> int
val num_of_int : int -> num