diff -r bb457bb5b515 -r f5281ab3e68f src/lib/GenericASN1ContentHandler.h
--- a/src/lib/GenericASN1ContentHandler.h	Tue Jun 22 21:41:59 2021 +0200
+++ b/src/lib/GenericASN1ContentHandler.h	Sat Jun 26 20:04:52 2021 +0200
@@ -71,9 +71,9 @@
 		handlers.writeEndElement();
 	}
 
-	void writeInteger(int64_t value) override {
-		handlers.writeStartElement("integer");
-		handlers.writeCharacters(std::to_string(value));
+	void writeInteger(Integer value) override {
+		handlers.writeStartElement("integer",{"hex", value.toHex()});
+		handlers.writeCharacters(value.toString());
 		handlers.writeEndElement();
 	}