Quarterly report pursuant to Section 13 or 15(d)

Employee Retirement Plans (Details)

v3.23.1
Employee Retirement Plans (Details) - USD ($)
$ in Millions
3 Months Ended
Mar. 31, 2023
Mar. 31, 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  
Other Long-term Investments      
Defined Benefit Plans and Other Postretirement Benefit Plans Table Text Block [Line Items]      
Defined benefit obligation $ 1.8   $ 1.7