Goodwill and Intangible Assets (Reconciliation of Intangible Assets) (Details) - USD ($) $ in Millions	Jan. 31, 2024	Jul. 31, 2023
Finite-Lived Intangible Assets
Gross Carrying Amount	$ 276.1	$ 277.4
Accumulated Amortization	(96.7)	(89.3)
Net	$ 179.4	$ 188.1
Customer relationships | Weighted Average
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	10 years 4 months 24 days	10 years 9 months 18 days
Gross Carrying Amount	$ 107.2	$ 107.8
Accumulated Amortization	(67.7)	(65.6)
Net	$ 39.5	$ 42.2
Patents
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	18 years 4 months 24 days	18 years 10 months 24 days
Gross Carrying Amount	$ 33.4	$ 33.4
Accumulated Amortization	(7.0)	(6.3)
Net	$ 26.4	$ 27.1
Trademarks
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	8 years 7 months 6 days	9 years
Gross Carrying Amount	$ 15.9	$ 15.9
Accumulated Amortization	(4.6)	(3.9)
Net	$ 11.3	$ 12.0
Technology
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	16 years 9 months 18 days	17 years 2 months 12 days
Gross Carrying Amount	$ 115.7	$ 116.3
Accumulated Amortization	(16.1)	(12.9)
Net	$ 99.6	$ 103.4
Non-compete agreements
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	2 years 9 months 18 days	3 years 1 month 6 days
Gross Carrying Amount	$ 3.9	$ 4.0
Accumulated Amortization	(1.3)	(0.6)
Net	$ 2.6	$ 3.4