pub fn add(
  a: Uint64,
  b: bigi.BigInt,
) -> Result(Uint64, utils.Overflow)

pub fn compare(a: Uint64, b: Uint64) -> order.Order

pub fn divide(
  a: Uint64,
  b: bigi.BigInt,
) -> Result(Uint64, utils.Overflow)

pub fn divide_no_zero(
  a: Uint64,
  b: bigi.BigInt,
) -> Result(Result(Uint64, utils.Overflow), Nil)

pub fn eject(op: Result(Uint64, utils.Overflow)) -> bigi.BigInt

pub fn from_bigint(
  value: bigi.BigInt,
) -> Result(Uint64, utils.Overflow)

pub fn modulo(
  a: Uint64,
  b: bigi.BigInt,
) -> Result(Uint64, utils.Overflow)

pub fn modulo_no_zero(
  a: Uint64,
  b: bigi.BigInt,
) -> Result(Result(Uint64, utils.Overflow), Nil)

pub fn multiply(
  a: Uint64,
  b: bigi.BigInt,
) -> Result(Uint64, utils.Overflow)

pub fn overflow(op: Result(Uint64, utils.Overflow)) -> Uint64

pub fn power(
  a: Uint64,
  b: uint.Uint,
) -> Result(Uint64, utils.Overflow)

pub fn remainder(
  a: Uint64,
  b: bigi.BigInt,
) -> Result(Uint64, utils.Overflow)

pub fn remainder_no_zero(
  a: Uint64,
  b: bigi.BigInt,
) -> Result(Result(Uint64, utils.Overflow), Nil)

pub fn subtract(
  a: Uint64,
  b: bigi.BigInt,
) -> Result(Uint64, utils.Overflow)

pub fn to_bigint(uint: Uint64) -> bigi.BigInt