Investments - Schedule of Marketable Securities (Details) - USD ($) $ in Millions	Sep. 30, 2024	Dec. 31, 2023
Available for Sale Debt Securities
Amortized cost	$ 54.5	$ 60.4
US treasury and government agencies
Available for Sale Debt Securities
Amortized cost	23.0	24.9
Corporate debt securities
Available for Sale Debt Securities
Amortized cost	17.3	20.0
State and municipal bonds
Available for Sale Debt Securities
Amortized cost	14.2	15.5
Current asset
Available for Sale Debt Securities
Fair value	52.6	57.2
Current asset | US treasury and government agencies
Available for Sale Debt Securities
Fair value	21.5	22.9
Current asset | Corporate debt securities
Available for Sale Debt Securities
Fair value	17.0	19.2
Current asset | State and municipal bonds
Available for Sale Debt Securities
Fair value	$ 14.1	$ 15.1
Minimum | US treasury and government agencies
Available for Sale Debt Securities
Maturity date	Nov. 30, 2024
Minimum | Corporate debt securities
Available for Sale Debt Securities
Maturity date	May 21, 2025
Minimum | State and municipal bonds
Available for Sale Debt Securities
Maturity date	Mar. 01, 2025
Maximum | US treasury and government agencies
Available for Sale Debt Securities
Maturity date	Feb. 15, 2031
Maximum | Corporate debt securities
Available for Sale Debt Securities
Maturity date	Apr. 01, 2033
Maximum | State and municipal bonds
Available for Sale Debt Securities
Maturity date	Oct. 01, 2038