Deferred Revenue, Performance Obligations, and Unbilled Accounts Receivable - Performance Obligation Duration (Details) - Subscription services $ in Millions	Apr. 30, 2023 USD ($)
Disaggregation of Revenue [Line Items]
Revenue expected to be recognized from remaining performance obligations	$ 1,225
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-05-01
Disaggregation of Revenue [Line Items]
Revenue, remaining performance obligation, percentage	92.00%
Revenue, remaining performance obligation, recognition period	12 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-05-01
Disaggregation of Revenue [Line Items]
Revenue, remaining performance obligation, recognition period

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

No definition available.

+ Details

Name:	us-gaap_DisaggregationOfRevenueLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of transaction price allocated to performance obligation that has not been recognized as revenue.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 13
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126920106&loc=SL49130556-203045

+ Details

Name:	us-gaap_RevenueRemainingPerformanceObligation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Period in which remaining performance obligation is expected to be recognized as revenue, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 13
-Subparagraph (b)(1)
-URI https://asc.fasb.org/extlink&oid=126920106&loc=SL49130556-203045

+ Details

Name:	us-gaap_RevenueRemainingPerformanceObligationExpectedTimingOfSatisfactionPeriod1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	instant

- Definition

Percentage of remaining performance obligation to total remaining performance obligation not recognized as revenue.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 606
-SubTopic 10
-Section 50
-Paragraph 13
-Subparagraph (b)(1)
-URI https://asc.fasb.org/extlink&oid=126920106&loc=SL49130556-203045

+ Details

Name:	us-gaap_RevenueRemainingPerformanceObligationPercentage
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:percentItemType
Balance Type:	na
Period Type:	instant

- Details

Name:	srt_ProductOrServiceAxis=us-gaap_SubscriptionAndCirculationMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_RevenueRemainingPerformanceObligationExpectedTimingOfSatisfactionStartDateAxis=2023-05-01
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_RevenueRemainingPerformanceObligationExpectedTimingOfSatisfactionStartDateAxis=2024-05-01
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: