Income Taxes (Reconciliation of Beginning and Ending Amount of Gross Unrecognized Tax Benefits) (Details) - USD ($) $ in Millions	12 Months Ended
	Jul. 31, 2023	Jul. 31, 2022	Jul. 31, 2021
Reconciliation of the Beginning and Ending Amounts of Gross Unrecognized Tax Benefits
Balance as of beginning of year	$ 15.2	$ 18.7	$ 16.9
Additions for tax positions of the current year	2.5	2.7	4.7
Additions for tax positions of prior years	0.1	0.0	2.7
Reductions for tax positions of prior years		(1.1)	(1.0)
Reductions due to lapse of applicable statute of limitations	(2.8)	(5.1)	(4.6)
Balance as of end of year	$ 15.0	$ 15.2	$ 18.7