Goodwill and Intangible Assets (Summary Of Intangible Assets) (Details) - USD ($) $ in Millions	Jun. 30, 2023	Dec. 31, 2022	Dec. 31, 2021
Acquired Finite-Lived Intangible Assets [Line Items]
Weighted Average Amortization Period of Finite Lived Assets (in years)	18 years
Gross Asset	$ 661.6	$ 663.6
Accumulated Amortization	336.6	318.7
Net	$ 325.0	344.9	$ 388.5
Intellectual property rights
Acquired Finite-Lived Intangible Assets [Line Items]
Weighted Average Amortization Period of Finite Lived Assets (in years)	10 years 3 months 18 days
Gross Asset	$ 62.1	62.0
Accumulated Amortization	14.5	14.0
Net	$ 47.6	48.0
Customer relationships and backlog
Acquired Finite-Lived Intangible Assets [Line Items]
Weighted Average Amortization Period of Finite Lived Assets (in years)	18 years 9 months 18 days
Gross Asset	$ 500.6	502.9
Accumulated Amortization	254.4	242.0
Net	$ 246.2	260.9
Other
Acquired Finite-Lived Intangible Assets [Line Items]
Weighted Average Amortization Period of Finite Lived Assets (in years)	10 years
Gross Asset	$ 98.9	98.7
Accumulated Amortization	67.7	62.7
Net	$ 31.2	$ 36.0