Fair Value Measurements (Company’s Contingent Consideration Obligations) (Details) - USD ($) $ in Millions	12 Months Ended
	Jul. 31, 2024	Jul. 31, 2023
Fair Value, Liabilities Measured on Recurring Basis, Unobservable Input Reconciliation, Calculation
Balance at the beginning	$ 25.0	$ 24.7
Issuances	1.0	0.0
Settlements	$ (2.0)
Fair Value, Liability, Recurring Basis, Unobservable Input Reconciliation, Gain (Loss), Statement of Income or Comprehensive Income [Extensible Enumeration]	Income (Loss) from Continuing Operations before Income Taxes, Noncontrolling Interest
Adjustments to fair value	$ (2.2)	0.3
Balance at the end	21.8	25.0
Maximum potential payout	$ 29.7	$ 30.7