Goodwill and Intangible Assets (Reconciliation of Intangible Assets) (Details) - USD ($) $ in Millions	Jul. 31, 2023	Jul. 31, 2022
Finite-Lived Intangible Assets
Gross Carrying Amount	$ 277.4	$ 176.5
Accumulated Amortization	(89.3)	(76.7)
Net	$ 188.1	$ 99.8
Customer relationships | Weighted Average
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	10 years 9 months 18 days	11 years 4 months 24 days
Gross Carrying Amount	$ 107.8	$ 104.0
Accumulated Amortization	(65.6)	(60.2)
Net	$ 42.2	$ 43.8
Patents
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	18 years 10 months 24 days	19 years 10 months 24 days
Gross Carrying Amount	$ 33.4	$ 33.4
Accumulated Amortization	(6.3)	(4.7)
Net	$ 27.1	$ 28.7
Trademarks
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	9 years	7 years 10 months 24 days
Gross Carrying Amount	$ 15.9	$ 7.3
Accumulated Amortization	(3.9)	(2.6)
Net	$ 12.0	$ 4.7
Technology
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	17 years 2 months 12 days	12 years
Gross Carrying Amount	$ 116.3	$ 30.6
Accumulated Amortization	(12.9)	(9.1)
Net	$ 103.4	$ 21.5
Non-competition agreements
Finite-Lived Intangible Assets
Weighted Amortizable Life (in Years)	3 years 1 month 6 days	6 years 4 months 24 days
Gross Carrying Amount	$ 4.0	$ 1.2
Accumulated Amortization	(0.6)	(0.1)
Net	$ 3.4	$ 1.1