kaidokert / fixed-bigint-rs / 29698197019

97%

push

github

Implement num_integer::Integer for HeaplessBigInt (#157)

* Implement num_integer::Integer for HeaplessBigInt

The last Tier-1 parity item — gcd/lcm/div_floor/mod_floor/divides/
is_multiple_of/is_even/is_odd/div_rem, Nct-only, mirroring FixedUInt.

- div_floor/mod_floor/div_rem: the unsigned div/rem (floor == truncating).
- gcd: Stein's binary algorithm. Heapless `>>` narrows `len`, so the running
  values shrink — value-correct (comparisons are value-based), but the result
  is pinned to the operand width max(len): widen before the final `<< shift`
  so no bit is lost and the width matches FixedUInt<k>. Dedicated
  heapless-internal test for the sub-capacity width case.
- lcm = a / gcd(a, b) * b; is_even/is_odd: O(1) LSB check like FixedUInt.

74 of 74 new or added lines in 1 file covered. (100.0%)

4826 of 4932 relevant lines covered (97.85%)

5918.84 hits per line