Investments - Schedule of Investments' Gross Unrealized Loss and Fair Value (Details) - USD ($) $ in Millions	Mar. 31, 2023	Dec. 31, 2022
Debt Securities, Available-for-sale [Line Items]
Fair Value, Less than 12 Months	$ 1.2	$ 8.9
Unrealized Losses, Less than 12 Months		(0.2)
Fair Value, 12 Months or More	24.2	19.9
Unrealized Losses, 12 Months or More	(1.8)	(2.0)
Fair Value	25.4	28.8
Unrealized Losses	(1.8)	(2.2)
U.S. Treasury securities, obligations of U.S. Government agencies and municipalities
Debt Securities, Available-for-sale [Line Items]
Fair Value, Less than 12 Months		4.7
Unrealized Losses, Less than 12 Months		(0.1)
Fair Value, 12 Months or More	18.6	16.3
Unrealized Losses, 12 Months or More	(1.5)	(1.7)
Fair Value	18.6	21.0
Unrealized Losses	(1.5)	(1.8)
Corporate debt
Debt Securities, Available-for-sale [Line Items]
Fair Value, Less than 12 Months	1.2	4.2
Unrealized Losses, Less than 12 Months		(0.1)
Fair Value, 12 Months or More	5.6	3.6
Unrealized Losses, 12 Months or More	(0.3)	(0.3)
Fair Value	6.8	7.8
Unrealized Losses	$ (0.3)	$ (0.4)