kaidokert / fixed-bigint-rs / 29701477273

97%

push

github

Tier-3 batch 2: power-of-two + multiple-of for HeaplessBigInt (#159)

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

79 of 86 new or added lines in 2 files covered. (91.86%)

4939 of 5052 relevant lines covered (97.76%)

5789.42 hits per line