kaidokert / fixed-bigint-rs / 29705866362

97%

push

github

Tier-3 batch 6: DepositBits/ExtractBits and CtParity for HeaplessBigInt (#163)

* Add Euclid/CheckedEuclid, AbsDiff, Midpoint, From<u64> to HeaplessBigInt

Tier-3 conveniences (batch 1), mirroring FixedUInt:
- Euclid/CheckedEuclid (Nct): unsigned Euclidean div/rem == ordinary div/rem;
  checked_* return None on a zero divisor.
- AbsDiff (Nct): |a - b| = larger - smaller. Nct-only — the compare-branch
  isn't constant-time (FixedUInt's Ct arm uses a branchless select; heapless
  keeps its Ct trait surface minimal).
- Midpoint (P-generic): (a & b) + ((a ^ b) >> 1), branchless and width-
  preserving (single-bit shift; &/^/+ resolve at max(len)).
- From<u64>: extend the from_primitive macro; source-int width like the others.

76 of 77 new or added lines in 2 files covered. (98.7%)

5476 of 5608 relevant lines covered (97.65%)

7385.47 hits per line