XML 67 R55.htm IDEA: XBRL DOCUMENT v3.23.1

Financial Instruments - Schedule of Contractual Maturities of Available for-sale Debt Securities (Details) $ in Millions	Apr. 30, 2023 USD ($)
Amortized Cost
Due in one year	$ 3
Fair Value
Due in one year	$ 3

X

- References

No definition available.

+ Details

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

X

- References

No definition available.

+ Details

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

X

- Definition

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, maturing in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 3
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126970911&loc=d3e27198-111563

+ Details

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

X

- Definition

Fair value 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, maturing in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 320
-Section 50
-Paragraph 3A
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126980459&loc=SL120269850-112803

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

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-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

+ Details

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