pub fn wdiv256(a: &[u64; 4], b: &[u64; 4]) -> [u64; 4]Expand description
The unsigned quotient a / b over 256-bit magnitudes — binary long division (b==0 → 0), the
reference for bigint_div’s restoring loop; the soft-core’s BigIntWide Div routes to that block.