Procs

proc `|*|`(a, b: BiggestInt): BiggestInt {....raises: [], tags: [].}

  Source   Edit

proc `|+|`(a, b: BiggestInt): BiggestInt {....raises: [], tags: [].}

saturated addition.   Source   Edit

proc `|-|`(a, b: BiggestInt): BiggestInt {....raises: [], tags: [].}

  Source   Edit

proc `|abs|`(a: BiggestInt): BiggestInt {....raises: [], tags: [].}

  Source   Edit

proc `|div|`(a, b: BiggestInt): BiggestInt {....raises: [], tags: [].}

  Source   Edit

proc `|mod|`(a, b: BiggestInt): BiggestInt {....raises: [], tags: [].}

  Source   Edit