pub const WIDTH_WORDS: usize = _; // 8usize
BigInt width, in words, handled by the BigInt accelerator circuit.