Fair Value Measurements - Contractual Maturities of Debt Securities (Details) $ in Millions	Apr. 30, 2023 USD ($)
Contractual Maturities of Debt Securities, Amortized Cost
Amortized cost basis	$ 5.0
Contractual Maturities of Debt Securities, Fair Value
Fair value	$ 1.2

Amortized cost of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), with single maturity date and allocated without single maturity date.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 3
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27198-111563

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (d)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27161-111563

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3
-URI https://asc.fasb.org/extlink&oid=126980459&loc=d3e62586-112803

Name:	us-gaap_AvailableForSaleSecuritiesDebtMaturitiesSingleMaturityDateAmortizedCostBasis
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant