Goodwill and Intangible Assets (Reconciliation of Intangible Assets) (Details) - USD ($) $ in Millions	Oct. 31, 2023	Jul. 31, 2023
Finite-Lived Intangible Assets
Gross Carrying Amount	$ 273.8	$ 277.4
Accumulated Amortization	(92.1)	(89.3)
Net	$ 181.7	$ 188.1
Customer relationships | Weighted Average
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	10 years 7 months 6 days	10 years 9 months 18 days
Gross Carrying Amount	$ 105.5	$ 107.8
Accumulated Amortization	(65.9)	(65.6)
Net	$ 39.6	$ 42.2
Patents
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	18 years 8 months 12 days	18 years 10 months 24 days
Gross Carrying Amount	$ 33.4	$ 33.4
Accumulated Amortization	(6.7)	(6.3)
Net	$ 26.7	$ 27.1
Trademarks
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	8 years 9 months 18 days	9 years
Gross Carrying Amount	$ 15.6	$ 15.9
Accumulated Amortization	(4.2)	(3.9)
Net	$ 11.4	$ 12.0
Technology
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	17 years 1 month 6 days	17 years 2 months 12 days
Gross Carrying Amount	$ 115.4	$ 116.3
Accumulated Amortization	(14.4)	(12.9)
Net	$ 101.0	$ 103.4
Non-compete agreements
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	3 years	3 years 1 month 6 days
Gross Carrying Amount	$ 3.9	$ 4.0
Accumulated Amortization	(0.9)	(0.6)
Net	$ 3.0	$ 3.4