Quarterly report pursuant to Section 13 or 15(d)

Employee Retirement Plans (Details)

v3.23.2
Employee Retirement Plans (Details) - USD ($)
$ in Millions
3 Months Ended 6 Months Ended
Jun. 30, 2023
Jun. 30, 2022
Jun. 30, 2023
Jun. 30, 2022
Dec. 31, 2022
Defined Benefit Plans and Other Postretirement Benefit Plans Table Text Block [Line Items]          
Net periodic benefit cost $ 0.1 $ 0.1 $ 0.1 $ 0.2  
Other Long-term Investments          
Defined Benefit Plans and Other Postretirement Benefit Plans Table Text Block [Line Items]          
Defined benefit obligation $ 1.1   $ 1.1   $ 1.7