Fair Value Measurements - Schedule of Financial Assets and Liabilities Measured at Fair Value on Recurring Basis (Details) - USD ($) $ in Millions	Jan. 31, 2025	Jul. 31, 2024
Assets:
Cash equivalents, primarily money market funds	$ 2,435	$ 3,609
Available-for-sale debt securities, fair value	174	615
Fair value, measurements, recurring
Assets:
Cash equivalents, primarily money market funds	1,193	2,538
Available-for-sale debt securities, fair value	174	615
Total assets measured at fair value on a recurring basis	1,367	3,153
Fair value, measurements, recurring \| Level 1
Assets:
Cash equivalents, primarily money market funds	1,193	2,538
Available-for-sale debt securities, fair value	0	0
Total assets measured at fair value on a recurring basis	1,193	2,538
Fair value, measurements, recurring \| Level 2
Assets:
Cash equivalents, primarily money market funds	0	0
Available-for-sale debt securities, fair value	174	615
Total assets measured at fair value on a recurring basis	174	615
Fair value, measurements, recurring \| Corporate notes
Assets:
Available-for-sale debt securities, fair value	159	456
Fair value, measurements, recurring \| Corporate notes \| Level 1
Assets:
Available-for-sale debt securities, fair value	0	0
Fair value, measurements, recurring \| Corporate notes \| Level 2
Assets:
Available-for-sale debt securities, fair value	159	456
Fair value, measurements, recurring \| U.S. agency securities
Assets:
Available-for-sale debt securities, fair value	15	159
Fair value, measurements, recurring \| U.S. agency securities \| Level 1
Assets:
Available-for-sale debt securities, fair value	0	0
Fair value, measurements, recurring \| U.S. agency securities \| Level 2
Assets:
Available-for-sale debt securities, fair value	$ 15	$ 159

Fair value portion of asset recognized for present right to economic benefit.

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 55
-Paragraph 100
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482078/820-10-55-100

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

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

+ Details

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

- References

No definition available.

+ Details

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

- Definition

Fair value portion of currency on hand as well as demand deposits with banks or financial institutions. Includes other kinds of accounts that have the general characteristics of demand deposits. Also includes short-term, highly liquid investments that are both readily convertible to known amounts of cash and so near their maturity that they present insignificant risk of changes in value because of changes in interest rates.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 820
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482106/820-10-50-2

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

+ Details

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

- Definition

Amount excluding accrued interest, of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 326
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479130/326-30-45-1

+ Details

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

- Details

Name:	us-gaap_FairValueByMeasurementFrequencyAxis=us-gaap_FairValueMeasurementsRecurringMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_FairValueByFairValueHierarchyLevelAxis=us-gaap_FairValueInputsLevel1Member
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_FairValueByFairValueHierarchyLevelAxis=us-gaap_FairValueInputsLevel2Member
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

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

- Details

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