kaidokert / fixed-bigint-rs / 29704317938

97%

push

github

Tier-3 batch 3: isqrt, roots, and integer logs for HeaplessBigInt (#160)

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

211 of 223 new or added lines in 3 files covered. (94.62%)

5150 of 5275 relevant lines covered (97.63%)

7825.56 hits per line