`type t = int64`
`val zero : int64`

The 64-bit integer 0.

`val one : int64`

The 64-bit integer 1.

`val minus_one : int64`

The 64-bit integer -1.

`val neg : int64 -> int64`

Unary negation.

`val add : int64 -> int64 -> int64`

Addition.

`val sub : int64 -> int64 -> int64`

Subtraction.

`val mul : int64 -> int64 -> int64`

Multiplication.

`val div : int64 -> int64 -> int64`

Integer division. This division rounds the real quotient of its arguments towards zero, as specified for `Pervasives.(/)`.

- raises `Division_by_zero`

  if the second argument is zero.

`val unsigned_div : int64 -> int64 -> int64`

Same as `div`, except that arguments and result are interpreted as unsigned 64-bit integers.

- since 2.10.0 and OCaml 4.08.0

`val rem : int64 -> int64 -> int64`

Integer remainder. If `y` is not zero, the result of `Int64.rem x y` satisfies the following property: `x = Int64.add (Int64.mul (Int64.div x y) y) (Int64.rem x y)`.

- raises `Division_by_zero`

  if the second argument is zero.

`val unsigned_rem : int64 -> int64 -> int64`

Same as `rem`, except that arguments and result are interpreted as unsigned 64-bit integers.

- since 2.10.0 and OCaml 4.08.0

`val succ : int64 -> int64`

Successor. `Int64.succ x` is `Int64.add x Int64.one`.

`val pred : int64 -> int64`

Predecessor. `Int64.pred x` is `Int64.sub x Int64.one`.

`val abs : int64 -> int64`

Return the absolute value of its argument.

`val max_int : int64`

The greatest representable 64-bit integer, 263 - 1.

`val min_int : int64`

The smallest representable 64-bit integer, -263.

`val logand : int64 -> int64 -> int64`

Bitwise logical and.

`val logor : int64 -> int64 -> int64`

Bitwise logical or.

`val logxor : int64 -> int64 -> int64`

Bitwise logical exclusive or.

`val lognot : int64 -> int64`

Bitwise logical negation

`val shift_left : int64 -> int -> int64`

`Int64.shift_left x y` shifts `x` to the left by `y` bits. The result is unspecified if `y < 0` or `y >= 64`.

`val shift_right : int64 -> int -> int64`

`Int64.shift_right x y` shifts `x` to the right by `y` bits. This is an arithmetic shift: the sign bit of `x` is replicated and inserted in the vacated bits. The result is unspecified if `y < 0` or `y >= 64`.

`val shift_right_logical : int64 -> int -> int64`

`Int64.shift_right_logical x y` shifts `x` to the right by `y` bits. This is a logical shift: zeroes are inserted in the vacated bits regardless of the sign of `x`. The result is unspecified if `y < 0` or `y >= 64`.

`val (--) : t -> t -> t BatEnum.t`

Enumerate an interval.

`5L -- 10L` is the enumeration 5L,6L,7L,8L,9L,10L. `10L -- 5L` is the empty enumeration

`val (---) : t -> t -> t BatEnum.t`

Enumerate an interval.

`5L -- 10L` is the enumeration 5L,6L,7L,8L,9L,10L. `10L -- 5L` is the enumeration 10L,9L,8L,7L,6L,5L.

`val of_int : int -> int64`

Convert the given integer (type `int`) to a 64-bit integer (type `int64`).

`val to_int : int64 -> int`

Convert the given 64-bit integer (type `int64`) to an integer (type `int`). On 64-bit platforms, the 64-bit integer is taken modulo 263, i.e. the high-order bit is lost during the conversion. On 32-bit platforms, the 64-bit integer is taken modulo 231, i.e. the top 33 bits are lost during the conversion.

`val unsigned_to_int : int64 -> int option`

Same as `to_int`, but interprets the argument as an unsigned integer. Returns `None` if the unsigned value of the argument cannot fit into an `int`.

- since 2.10.0 and OCaml 4.08.0

`val of_float : float -> int64`

Convert the given floating-point number to a 64-bit integer, discarding the fractional part (truncate towards 0). The result of the conversion is undefined if, after truncation, the number is outside the range [`Int64.min_int`, `Int64.max_int`].

`val to_float : int64 -> float`

Convert the given 64-bit integer to a floating-point number.

`val of_int32 : int32 -> int64`

Convert the given 32-bit integer (type `int32`) to a 64-bit integer (type `int64`).

`val to_int32 : int64 -> int32`

Convert the given 64-bit integer (type `int64`) to a 32-bit integer (type `int32`). The 64-bit integer is taken modulo 232, i.e. the top 32 bits are lost during the conversion.

`val of_nativeint : nativeint -> int64`

Convert the given native integer (type `nativeint`) to a 64-bit integer (type `int64`).

`val to_nativeint : int64 -> nativeint`

Convert the given 64-bit integer (type `int64`) to a native integer. On 32-bit platforms, the 64-bit integer is taken modulo 232. On 64-bit platforms, the conversion is exact.

`val of_string : string -> int64`

Convert the given string to a 64-bit integer. The string is read in decimal (by default) or in hexadecimal, octal or binary if the string begins with `0x`, `0o` or `0b` respectively.

- raises `Failure`

  if the given string is not a valid representation of an integer, or if the integer represented exceeds the range of integers representable in type `int64`.

`val of_string_opt : string -> int64 option`

Same as `of_string`, but return `None` instead of raising.

- since 2.7.0

`val to_string : int64 -> string`

Return the string representation of its argument, in decimal.

`val bits_of_float : float -> int64`

Return the internal representation of the given float according to the IEEE 754 floating-point ``double format'' bit layout. Bit 63 of the result represents the sign of the float; bits 62 to 52 represent the (biased) exponent; bits 51 to 0 represent the mantissa.

`val float_of_bits : int64 -> float`

Return the floating-point number whose internal representation, according to the IEEE 754 floating-point ``double format'' bit layout, is the given `int64`.

`val compare : t -> t -> int`

The comparison function for 64-bit integers, with the same specification as `Pervasives.compare`. Along with the type `t`, this function `compare` allows the module `Int64` to be passed as argument to the functors `Set.Make` and `Map.Make`.

`val min : t -> t -> t`

Return the smaller of the two.

- since 3.4.0

`val max : t -> t -> t`

Return the greater of the two.

- since 3.4.0

`val unsigned_compare : t -> t -> int`

Same as `compare`, except that arguments are interpreted as unsigned 64-bit integers.

- since 2.10.0 and OCaml 4.08.0

`val equal : t -> t -> bool`

Equality function for 64-bit integers, useful for `HashedType`.

`val ord : t -> t -> BatOrd.order`

## Submodules grouping all infix operators

`module Infix : BatNumber.Infix with type bat__infix_t = t`
`module Compare : BatNumber.Compare with type bat__compare_t = t`
`val modulo : int64 -> int64 -> int64`
`val pow : int64 -> int64 -> int64`

- raises `Invalid_argument`

  if the exponent is negative.

`val (+) : t -> t -> t`
`val (-) : t -> t -> t`
`val (*) : t -> t -> t`
`val (/) : t -> t -> t`
`val (**) : t -> t -> t`
`val operations : t BatNumber.numeric`

## Boilerplate code

### Printing

`val print : 'a BatInnerIO.output -> t -> unit`

prints as decimal string

`val print_hex : 'a BatInnerIO.output -> t -> unit`

prints as hex string

`val seeded_hash : int -> t -> int`
`val hash : t -> int`