Employee Benefit Plans, 401(k) Plan and Other Retirement Benefits (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2022	Dec. 31, 2021	Dec. 31, 2020
Other Retirement Benefits [Abstract]
Supplemental retirement benefits for retired executives under other retirement benefits plan	$ 1.1	$ 1.3
Expense related to other retirement benefits plan	0.2	0.2	$ 0.2
401(K) Plan [Member]
Defined benefit plan disclosure [Abstract]
Employer contribution to plan	$ 4.0	$ 3.9	$ 3.6