kaidokert / fixed-bigint-rs / 29697383625

97%

push

github

Complete num_traits::PrimInt for HeaplessBigInt (+ pow family) (#154)

* Complete num_traits::PrimInt for HeaplessBigInt (+ pow family)

Adds pow and num_traits::PrimInt, with the const_num_traits parallels, and
fills a bridge gap PrimInt exposed.

- pow.rs: inherent `pow` (square-and-multiply via the panicking Nct Mul,
  panics on overflow like std) with a shared `pow_impl` kernel, plus the
  const_num_traits `CheckedPow` (None on overflow) and `StrictPow` (panics).
- prim_int.rs: num_traits::PrimInt (Nct), a thin bridge — the bit-ops delegate
  to const_num_traits::PrimBits and pow to pow_impl, so no logic is duplicated.
  reverse_bits is overridden to PrimBits (the num_traits default reverses via
  shifts, and heapless's width-narrowing Shr makes it collapse to zero — caught
  by the generic parity test).
- arith.rs: num_traits CheckedAdd/CheckedSub/CheckedMul bridges (Nct) —
  PrimInt supertraits that heapless had only in the const_num_traits form.

Everything is value-width: pow at len k raises like FixedUInt<k>; overflow is
at the operand width, not CAP.

105 of 120 new or added lines in 3 files covered. (87.5%)

4752 of 4858 relevant lines covered (97.82%)

6003.69 hits per line