cbor_build_uint64
res = cbor_build_uint64(cbor_get_uint64(item));
_CBOR_NODISCARD CBOR_EXPORT cbor_item_t *cbor_build_uint64(uint64_t value);
return cbor_build_uint64(value);