Revenues - Additional Information (Details 1)	Apr. 30, 2024
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2024-05-01
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]
Revenue, remaining performance obligation, expected timing of satisfaction, period	12 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2025-05-01
Revenue Remaining Performance Obligation Expected Timing Of Satisfaction [Line Items]
Revenue, remaining performance obligation, expected timing of satisfaction, period	24 months

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.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 13
-Subparagraph (b)(1)
-SubTopic 10
-Topic 606
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479806/606-10-50-13

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