Goodwill and Intangible Assets (Narrative) (Details) - USD ($) $ in Millions		12 Months Ended
	Jun. 13, 2022	Jul. 31, 2022
Finite-Lived Intangible Assets
Finite lived intangible asset estimated useful life		5 years
Customer Relationships
Finite-Lived Intangible Assets
Acquired finite-lived intangible assets, weighted average useful life		11 years 4 months 24 days
Patents, Trademarks and Technology
Finite-Lived Intangible Assets
Acquired finite-lived intangible assets, weighted average useful life		19 years 7 months 6 days
Purilogics
Finite-Lived Intangible Assets
Intangible assets	$ 29.9
Purilogics | Technology
Finite-Lived Intangible Assets
Intangible assets	$ 28.6
Finite lived intangible asset estimated useful life	20 years
Purilogics | Trademarks and tradenames
Finite-Lived Intangible Assets
Intangible assets	$ 0.7
Finite lived intangible asset estimated useful life	10 years
Purilogics | Non-competition agreements
Finite-Lived Intangible Assets
Intangible assets	$ 0.6
Finite lived intangible asset estimated useful life	5 years
Other acquisitions
Finite-Lived Intangible Assets
Intangible assets		$ 23.8
Other acquisitions | Technology
Finite-Lived Intangible Assets
Intangible assets		$ 17.3
Finite lived intangible asset estimated useful life		15 years
Other acquisitions | Trademarks and tradenames
Finite-Lived Intangible Assets
Intangible assets		$ 3.3
Finite lived intangible asset estimated useful life		10 years
Other acquisitions | Customer Relationships
Finite-Lived Intangible Assets
Intangible assets		$ 3.0
Finite lived intangible asset estimated useful life		20 years
Other acquisitions | Backlog
Finite-Lived Intangible Assets
Intangible assets		$ 0.2
Finite lived intangible asset estimated useful life		6 months