Financial Instruments (Details 2) $ in Millions	Dec. 31, 2022 USD ($)
Summary of Contractual Maturities: Available-for-Sale Securities
Due in one year or less, amortized cost	$ 1,483.3
Due in one year or less, estimated fair value	1,473.5
Due after one year through five years, amortized cost	703.7
Due after one year through five years, estimated fair value	694.4
Due after five years, amortized cost	12.1
Due after five years, estimated fair value	11.3
Marketable debt securities	2,179.2
Amortized Cost	$ 2,199.1