XML 94 R62.htm IDEA: XBRL DOCUMENT v3.22.2.2
Financial Instruments (Details 2) - USD ($)
$ in Millions
Sep. 30, 2022
Dec. 31, 2021
Summary of Contractual Maturities: Available-for-Sale Securities    
Due in one year or less, amortized cost $ 1,235.5 $ 1,541.1
Due in one year or less, estimated fair value 1,245.8 1,541.7
Due after one year through five years, amortized cost 848.3 868.2
Due after one year through five years, estimated fair value 864.0 870.2
Due after five years, amortized cost 12.0 23.8
Due after five years, estimated fair value 12.9 24.0
Estimated Fair Value 2,095.8 2,433.1
Amortized Cost $ 2,122.7 $ 2,435.9