Make sure all BIGNUM operations work within the FIPS provider