Weighted average shares (Details) - shares shares in Millions	3 Months Ended	9 Months Ended
Apr. 30, 2025	Apr. 30, 2024	Apr. 30, 2025	Apr. 30, 2024
Earnings Per Share [Abstract]
Basic weighted-average shares (in shares)	198.3	202.6	199.6	203.3
Effect of dilutive shares (in shares)	0.2	0.6	0.2	0.6
Diluted weighted-average shares (in shares)	198.5	203.2	199.8	203.9
Excluded anti-dilutive shares (in shares)	0.1	0.0	0.2	0.0

Securities (including those issuable pursuant to contingent stock agreements) that could potentially dilute basic earnings per share (EPS) or earnings per unit (EPU) in the future that were not included in the computation of diluted EPS or EPU because to do so would increase EPS or EPU amounts or decrease loss per share or unit amounts for the period presented.

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

+ Details

Name:	us-gaap_AntidilutiveSecuritiesExcludedFromComputationOfEarningsPerShareAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

- References

No definition available.

+ Details

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

- Definition

The sum of dilutive potential common shares or units used in the calculation of the diluted per-share or per-unit computation.

+ References

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

+ Details

Name:	us-gaap_WeightedAverageNumberDilutedSharesOutstandingAdjustment
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

- Definition

The average number of shares or units issued and outstanding that are used in calculating diluted EPS or earnings per unit (EPU), determined based on the timing of issuance of shares or units in the period.

+ References

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 260
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 16
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482689/260-10-45-16

+ Details

Name:	us-gaap_WeightedAverageNumberOfDilutedSharesOutstanding
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

- Definition

Number of [basic] shares or units, after adjustment for contingently issuable shares or units and other shares or units not deemed outstanding, determined by relating the portion of time within a reporting period that common shares or units have been outstanding to the total time in that period.

+ References

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

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

+ Details

Name:	us-gaap_WeightedAverageNumberOfSharesOutstandingBasic
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration