Document X509_get_serialNumber and X509_set_serialNumber.