Presumably these should all be identical to the original `parameters.p` etc? Should we have asserts to check that and just use the original ints directly instead of bouncing back and forth to `BIGNUM`s?