Cash Equivalents and Investments (Available-for-Sale Debt Securities) (Details) - USD ($) $ in Millions	Jul. 31, 2026	Jul. 31, 2025
Debt Securities, Available-for-sale
Total	$ 5,375.0
Fair Value	5,350.0
Cash equivalents
Debt Securities, Available-for-sale
Total	123.0	$ 169.0
Unrealized Gains	0.0	0.0
Unrealized Losses	0.0	0.0
Fair Value	123.0	169.0
Cash equivalents \| Commercial paper
Debt Securities, Available-for-sale
Total	123.0	169.0
Unrealized Gains	0.0	0.0
Unrealized Losses	0.0	0.0
Fair Value	123.0	169.0
Investments
Debt Securities, Available-for-sale
Total	5,252.0	6,130.0
Unrealized Gains	10.0	56.0
Unrealized Losses	(35.0)	(1.0)
Fair Value	5,227.0	6,185.0
Investments \| Commercial paper
Debt Securities, Available-for-sale
Total	10.0	15.0
Unrealized Gains	0.0	0.0
Unrealized Losses	0.0	0.0
Fair Value	10.0	15.0
Investments \| Corporate debt securities
Debt Securities, Available-for-sale
Total	4,241.0	4,588.0
Unrealized Gains	8.0	47.0
Unrealized Losses	(32.0)	(1.0)
Fair Value	4,217.0	4,634.0
Investments \| U.S. government and agency securities
Debt Securities, Available-for-sale
Total	70.0	170.0
Unrealized Gains	0.0	0.0
Unrealized Losses	0.0	0.0
Fair Value	70.0	170.0
Investments \| Non-U.S. government and agency securities
Debt Securities, Available-for-sale
Total	21.0	29.0
Unrealized Gains	0.0	0.0
Unrealized Losses	0.0	0.0
Fair Value	21.0	29.0
Investments \| Asset-backed securities
Debt Securities, Available-for-sale
Total	910.0	1,328.0
Unrealized Gains	2.0	9.0
Unrealized Losses	(3.0)	0.0
Fair Value	$ 909.0	$ 1,337.0

Amount, before tax, of unrealized gain in accumulated other comprehensive income (AOCI) on investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale).

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

+ Details

Name:	us-gaap_AvailableForSaleDebtSecuritiesAccumulatedGrossUnrealizedGainBeforeTax
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount, before tax, of unrealized loss in accumulated other comprehensive income (AOCI) on 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/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481800/320-10-50-2

+ Details

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

- Definition

Amortized cost excluding accrued interest, after allowance for credit loss, 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_DebtSecuritiesAvailableForSaleAmortizedCostExcludingAccruedInterestAfterAllowanceForCreditLoss
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/2003/role/disclosureRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477657/942-210-S45-1

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S50
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478478/942-210-S50-1

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 210
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(6))
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147478546/942-210-S99-1

Reference 4: 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

- 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 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (g)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-2

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

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

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

Reference 5: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (e)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-2

Reference 6: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-2

Reference 7: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-2

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

Reference 9: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3A
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A

Reference 10: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3A
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A

Reference 11: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3A
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A

Reference 12: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3A
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A

Reference 13: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3A

Reference 14: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (d)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3

Reference 15: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3

Reference 16: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3

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

Reference 18: http://www.xbrl.org/2003/role/disclosureRef
-Topic 942
-SubTopic 320
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147477268/942-320-50-3

Reference 19: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481800/320-10-50-2

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

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

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

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

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

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

Reference 26: http://www.xbrl.org/2003/role/disclosureRef
-Topic 320
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147481800/320-10-50-3

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

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

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

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

+ Details

Name:	us-gaap_ScheduleOfAvailableForSaleSecuritiesLineItems
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_CommercialPaperMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

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

- Details

Name:	us-gaap_FinancialInstrumentAxis=us-gaap_CommercialPaperNotIncludedWithCashAndCashEquivalentsMember
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:

- Details

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

- Details

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

- Details

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