# Int64

64-bit signed integers with checked arithmetic

Most operations are available as built-in operators (`1 + 1`).

## toInt

Conversion.

``let toInt : (Int64) -> Int``

## fromInt

Conversion. Traps on overflow/underflow.

``let fromInt : (Int) -> Int64``

## toText

Returns the Text representation of `x`.

``func toText(x : Int64) : Text``

## abs

Returns the absolute value of `x`. Traps when `x = Traps when `x = -2^63.`

``func abs(x : Int64) : Int64``

## min

Returns the minimum of `x` and `y`.

``func min(x : Int64, y : Int64) : Int64``

## max

Returns the maximum of `x` and `y`.

``func max(x : Int64, y : Int64) : Int64``

## equal

Returns `x == y`.

``func equal(x : Int64, y : Int64) : Bool``

## notEqual

Returns `x != y`.

``func notEqual(x : Int64, y : Int64) : Bool``

## less

Returns `x < y`.

``func less(x : Int64, y : Int64) : Bool``

## lessOrEqual

Returns `x ⇐ y`.

``func lessOrEqual(x : Int64, y : Int64) : Bool``

## greater

Returns `x > y`.

``func greater(x : Int64, y : Int64) : Bool``

## greaterOrEqual

Returns `x >= y`.

``func greaterOrEqual(x : Int64, y : Int64) : Bool``

## compare

Returns the order of `x` and `y`.

``func compare(x : Int64, y : Int64) : {#less : (); #equal : (); #greater : ()}``

## neg

Returns the negation of `x`, `-x`. Traps on overflow.

``func neg(x : Int64) : Int64``

Returns the sum of `x` and `y`, `x + y`. Traps on overflow.

``func add(x : Int64, y : Int64) : Int64``

## sub

Returns the difference of `x` and `y`, `x - y`. Traps on underflow.

``func sub(x : Int64, y : Int64) : Int64``

## mul

Returns the product of `x` and `y`, `x * y`. Traps on overflow.

``func mul(x : Int64, y : Int64) : Int64``

## div

Returns the division of `x by y`, `x / y`. Traps on division by zero.

``func div(x : Int64, y : Int64) : Int64``

## rem

Returns the remainder of `x` divided by `y`, `x % y`.

``func rem(x : Int64, y : Int64) : Int64``

## pow

Returns `x` to the power of `y`, `x ** y`. Traps on overflow.

``func pow(x : Int64, y : Int64) : Int64``