Fair Value Measurements (Company’s Contingent Consideration Obligations) (Details) - USD ($) $ in Millions	12 Months Ended
Jul. 31, 2023	Jul. 31, 2022
Fair Value, Liabilities Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation
Balance at the beginning	$ 24.7	$ 0.0
Issuances	0.0	24.6
Adjustments to fair value	0.3	0.1
Balance at the end	25.0	24.7
Maximum potential payout	$ 30.7	$ 30.7

Fair value of contingent consideration in a business combination that is classified in shareholders' equity.

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

+ Details

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

- Definition

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

+ References

No definition available.

+ Details

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

- Definition

Amount of issuances of financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 820
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482106/820-10-50-2

+ Details

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

- Definition

Amount of increase (decrease) of financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Subparagraph (c)
-SubTopic 10
-Topic 820
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482106/820-10-50-2

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisLiabilityPeriodIncreaseDecrease
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	na
Period Type:	duration

- Definition

Fair value of financial instrument classified as a liability measured using unobservable inputs that reflect the entity's own assumption about the assumptions market participants would use in pricing.

+ References

+ Details

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