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
- bigint.bend 66 declarations — Arbitrary-precision signed integers: add, sub, mul, divmod, pow, modpow, gcd and decimal text.
- bignum.bend 0 declarations — Pure arbitrary-precision integers, exact decimals, and rational numbers.
- decimal.bend 66 declarations — Exact signed decimals: a BigInt coefficient over a power of ten.
- rational.bend 22 declarations — Exact rational numbers over BigInt, always in lowest terms.
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| bigint.bend | checks | ALL PROOFS CHECK | 0.8 s |
| bignum.bend | checks | ALL PROOFS CHECK | 0.9 s |
| decimal.bend | checks | ALL PROOFS CHECK | 0.9 s |
| rational.bend | checks | ALL PROOFS CHECK | 0.6 s |