~/bend-docscommunity

0xbf5d8bf0 checks

0xbf5d8bf07d7411858acb5142889fc4d7

Arbitrary-precision signed integers: add, sub, mul, divmod, pow, modpow, gcd and decimal text.

Anonymous package: import it by hash.

Published
2026-09-29
Size
32,833 bytes, 4 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 131 defs, 5 types

Import

import 0xbf5d8bf07d7411858acb5142889fc4d7/bigint.bend as Bigint
import 0xbf5d8bf07d7411858acb5142889fc4d7/bignum.bend as Bignum
import 0xbf5d8bf07d7411858acb5142889fc4d7/decimal.bend as Decimal
import 0xbf5d8bf07d7411858acb5142889fc4d7/rational.bend as Rational

Modules

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
bigint.bendchecks ALL PROOFS CHECK0.8 s
bignum.bendchecks ALL PROOFS CHECK0.9 s
decimal.bendchecks ALL PROOFS CHECK0.9 s
rational.bendchecks ALL PROOFS CHECK0.6 s