Marketable Securities -Narrative (Details)	Jan. 31, 2023 security
Investments, Debt and Equity Securities [Abstract]
Debt securities, available-for-sale, unrealized loss position, number of positions	180

Number of investments in debt securities measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in unrealized loss position, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 30
-Section 50
-Paragraph 4
-Subparagraph (b)(3)
-URI https://asc.fasb.org/extlink&oid=124269663&loc=SL82922888-210455

Name:	us-gaap_DebtSecuritiesAvailableForSaleUnrealizedLossPositionNumberOfPositions
Namespace Prefix:	us-gaap_
Data Type:	xbrli:integerItemType
Balance Type:	na
Period Type:	instant