Acquisitions and Divestitures (Intangible Assets) (Details) - USD ($) $ in Millions	Jul. 14, 2025	Mar. 20, 2023
JM Wood Auction Co Inc
Business Combination [Line Items]
Fair value at acquisition	$ 49.9
Weighted-average amortization period	6 years 9 months 18 days
JM Wood Auction Co Inc | Customer relationships
Business Combination [Line Items]
Fair value at acquisition	$ 46.0
Weighted-average amortization period	7 years
JM Wood Auction Co Inc | Trade names and trademarks
Business Combination [Line Items]
Fair value at acquisition	$ 3.9
Weighted-average amortization period	5 years
IAA
Business Combination [Line Items]
Fair value at acquisition		$ 2,712.1
Weighted-average amortization period		13 years 4 months 24 days
IAA | Software under development
Business Combination [Line Items]
Fair value at acquisition		$ 6.8
IAA | Customer relationships
Business Combination [Line Items]
Fair value at acquisition		$ 2,293.5
Weighted-average amortization period		15 years
IAA | Developed technology
Business Combination [Line Items]
Fair value at acquisition		$ 245.2
Weighted-average amortization period		4 years
IAA | Trade names and trademarks
Business Combination [Line Items]
Fair value at acquisition		$ 166.6
Weighted-average amortization period		5 years