The encoding of negative ASN1 INTEGERs and the conversion of BNs to negative