pub fn product_bits(values: &[BigInt]) -> u64
Exact bound for a product of integers: the sum of their bit-lengths (+1 slack for the leading carry).