Leases - Additional Information (Details) $ in Millions	Apr. 30, 2023 USD ($)
Lessee, Lease, Description [Line Items]
Operating lease commencedin next year	$ 1.4
Maximum [Member]
Lessee, Lease, Description [Line Items]
Lessee, Operating Lease, Lease Not yet Commenced, Term of Contract	3 years 6 months

Term of lessee's operating lease not yet commenced, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 3
-Subparagraph (b)
-URI https://asc.fasb.org/extlink&oid=128292326&loc=SL77918673-209980

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