Fix metric() showing an extra significant digit on rounding carry - #359
Merged
hugovk merged 2 commits intoSep 16, 2026
Merged
Commits
Commits on Sep 16, 2026
- authored andcommitted
- authored