Add functions to convert between uint64_t and ASN1_INTEGER.