implementation of Knuth’s Algorithm D for unsigned multi-precision division, with base-2^32 limbs, an independent bitwise divider, deterministic verification, tracing, adversarial fixtures, and benchmarks.