ASN1_INTEGER_set_int64 • man page