pub const WIDTH_BYTES: usize = _; // 32usize
BigInt width, in bytes, handled by the BigInt accelerator circuit.