Cash Equivalents and Investments (Marketable Equity Securities) (Details) - Marketable equity securities - Money market funds - USD ($)	3 Months Ended
Oct. 31, 2024	Oct. 31, 2023	Jul. 31, 2024
Debt and Equity Securities, FV-NI
Securities unrealized gains (losses) recognized	$ 0	$ 0
Cash and cash equivalents
Debt and Equity Securities, FV-NI
Carrying value	$ 1,100,000,000		$ 494,000,000

Amount of investment in equity security measured at fair value with change in fair value recognized in net income (FV-NI), classified as current.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(2))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480566/210-10-S99-1

Reference 2: http://www.xbrl.org/2003/role/exampleRef
-Topic 210
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Subparagraph (f)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147483467/210-10-45-1

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 825
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482736/825-10-45-1A

+ Details

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

- Definition

Amount of unrealized gain (loss) on investment in equity security measured at fair value with change in fair value recognized in net income (FV-NI).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 944
-SubTopic 220
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-04(3)(d)(2))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477250/944-220-S99-1

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 321
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479536/321-10-50-4

+ Details

Name:	us-gaap_EquitySecuritiesFvNiUnrealizedGainLoss
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

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.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 6B
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-6B

+ Details

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

- Details

Name:	us-gaap_FairValueByAssetClassAxis=us-gaap_CashEquivalentsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

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

- Details

Name:	us-gaap_BalanceSheetLocationAxis=us-gaap_CashAndCashEquivalentsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: