< ^ >
Int64
 
Int64 provides support for operations on 64 bit integers, no matter how big native pointer is.
 
type t;
  Type of 64 bit integers.
 
t add(t a, t b);
  Return a + b.
 
t sub(t a, t b);
  Return a - b.
 
t mul(t a, t b);
  Return a * b.
 
t div(t a, t b);
  Return a / b. Raise Invalid_argument if b == 0.
 
t mod(t a, t b);
  Return a % b (modulus). Raise Invalid_argument if b == 0.
 
int cmp(t a, t b);
  Return -1, 0 or 1 if a < b, a == b or a > b respectively.
 
t of_string(string s);
  Convert s, from string decimal representation to 64 bit int. Raise Invalid_argument if s is not valid integer literal. If number starts with 0x, 0o or 0b radix of 16, 8 or 2, respectively, is assumed.
 
t of_int(int i);
  Extend native integer i to 64 bit.
 
string to_string(t a, int base);
  Convert a to string using radix base.
 
t succ(t a);
  Return a + 1.
 
t pred(t a);
  Return a - 1.
 
t zero;
  Value of 0.
 
t one;
  Value of 1.
 
t minus_one;
  Value of -1.