kaidokert / fixed-bigint-rs / 29704962936

97%

push

github

Tier-3 batch 4: iterator, bit-scan, and num_traits byte traits for HeaplessBigInt (#161)

* 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.

99 of 100 new or added lines in 3 files covered. (99.0%)

5249 of 5375 relevant lines covered (97.66%)

7681.87 hits per line