XML 162 R76.htm IDEA: XBRL DOCUMENT v3.19.3.a.u2
Financial Instruments (Details 2) - USD ($)
$ in Millions
Dec. 31, 2019
Dec. 31, 2018
Summary of Contractual Maturities: Available-for-Sale Securities    
Due in one year or less, Estimated Fair Value $ 1,562.2 $ 2,313.4
Due in one year or less, Amortized Cost 1,560.8 2,314.6
Due after one year through five years, Estimated Fair Value 1,234.5 1,232.7
Due after one year through five years, Amortized Cost 1,230.4 1,235.9
Due after five years, Estimated Fair Value 173.6 143.2
Due after five years, Amortized Cost 173.8 143.5
Debt securities, amortized cost 2,965.0 3,694.0
Debt Securities, Available-for-sale $ 2,970.3 $ 3,689.3