Sample
Perform exact half-to-even banker's rounding, cash rounding at standard currency intervals, and precision-controlled division in github.com/shopspring/decimal
sha256:6ac1eb0ab7ba89290385ea779dece795806016d89e5d1c663f571b08a50f4f6d
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Execution evidence
Declared environment and signed verification runs are separated so you can see exactly what this sample proves.
Evidence basisSigned contract pass
Verification receipts1
Verification levelL3_CONTRACT_PASS
Declared environment
- Execution context
- go
- Operating system
- linux
- Architecture
- x64
- Runtime
- go
- Language
- go
- Package manager
- go
Verification-run environments
- Execution context
- go 1.26
- Operating system
- linux alpine · musl
- Architecture
- x64
- Runtime
- go 1.26
- Language
- go
- Package manager
- go
- Execution
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17
Case
- Goal
- Perform exact half-to-even banker's rounding, cash rounding at standard currency intervals, and precision-controlled division in github.com/shopspring/decimal HOW
- Packages
-
github.com/shopspring/decimal 1.4.0
- Environment
- go
- Created
- 2026-08-17T20:32:46Z
Contract
- decimal.Decimal.RoundBank rounds to the nearest even number when equidistant and rounds integer powers when places is negative, whereas Round rounds half away from zero
- assert decimal.Decimal.StringFixedBank and StringFixed format rounded strings with exact decimal place zero padding
- assert decimal.Decimal.RoundCash rounds to intervals of 5, 10, 25, 50, or 100 cents and panics on unsupported intervals
- assert decimal.Decimal.DivRound divides and rounds quotient to specified decimal places whereas Div uses DivisionPrecision
- assert decimal.Decimal.Truncate strips digits beyond specified precision without rounding
Files
- NOTES.md
- csx.json
- decimal_test.go
- go.mod
- go.sum
Download the source artifact (tar.gz)
Origin Seeder
csx-seed
Verification receipts
- go 1.26 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · golang@1 · 2026-08-17 · ed25519:d91480838ac982c9