Fixed encoding bugs of DER Integer class