Investments - Available-for-Sale Marketable Securities, Fair Value and Unrealized Losses Continuous Unrealized Loss Position (Details) $ in Thousands	Jul. 31, 2023 USD ($)
Debt Securities, Available-for-sale, Unrealized Loss Position [Line Items]
AFS, Less Than 12 Months, Unrealized Losses	$ (637)
AFS, Less Than 12 Months, Fair Value	206,931
AFS, 12 Months or Greater, Unrealized Losses	(164)
AFS, 12 Months or Greater, Fair Value	44,410
AFS, Total Unrealized Losses	(801)
AFS, Total Fair Value	251,341
U.S. government agencies securities
Debt Securities, Available-for-sale, Unrealized Loss Position [Line Items]
AFS, Less Than 12 Months, Unrealized Losses	(110)
AFS, Less Than 12 Months, Fair Value	37,729
AFS, 12 Months or Greater, Unrealized Losses	(8)
AFS, 12 Months or Greater, Fair Value	4,442
AFS, Total Unrealized Losses	(118)
AFS, Total Fair Value	42,171
Commercial paper
Debt Securities, Available-for-sale, Unrealized Loss Position [Line Items]
AFS, Less Than 12 Months, Unrealized Losses	0
AFS, Less Than 12 Months, Fair Value	10,254
AFS, 12 Months or Greater, Unrealized Losses	0
AFS, 12 Months or Greater, Fair Value	0
AFS, Total Unrealized Losses	0
AFS, Total Fair Value	10,254
Corporate debt securities
Debt Securities, Available-for-sale, Unrealized Loss Position [Line Items]
AFS, Less Than 12 Months, Unrealized Losses	(527)
AFS, Less Than 12 Months, Fair Value	158,948
AFS, 12 Months or Greater, Unrealized Losses	(156)
AFS, 12 Months or Greater, Fair Value	39,968
AFS, Total Unrealized Losses	(683)
AFS, Total Fair Value	$ 198,916

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

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

- Definition

Amount of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for more than 12 months, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 55
-Paragraph 8
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479081/326-30-55-8

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 7
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-7

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-5

+ Details

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

- Definition

Amount of accumulated unrealized loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for 12 months or longer, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 7
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-7

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-5

+ Details

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

- Definition

Amount of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for less than 12 months, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

+ References

+ Details

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

- Definition

Amount of accumulated unrealized loss on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale), in continuous unrealized loss position for less than 12 months, without allowance for credit loss. Includes beneficial interest in securitized financial asset.

+ References

+ Details

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

- Definition

Amount of investment in debt security 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.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 55
-Paragraph 8
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479081/326-30-55-8

Reference 2: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Subparagraph (a)(1)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-6

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)(1)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-4

+ Details

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

- Definition

Amount of accumulated unrealized loss on investment in debt security 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.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6
-Subparagraph (a)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481800/320-10-50-6

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147479106/326-30-50-4

+ Details

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

- Details

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_USGovernmentDebtSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_CommercialPaperMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_CorporateDebtSecuritiesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: