kaidokert / fixed-bigint-rs / 29701026018

97%

push

github

Tier-3 batch 1: Euclid, AbsDiff, Midpoint, From<u64> (#158)

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

34 of 34 new or added lines in 4 files covered. (100.0%)

4860 of 4966 relevant lines covered (97.87%)

5881.87 hits per line