XML 95 R60.htm IDEA: XBRL DOCUMENT v3.20.1
Financial Instruments (Details 2) - USD ($)
$ in Millions
Mar. 31, 2020
Dec. 31, 2019
Summary of Contractual Maturities: Available-for-Sale Securities    
Due in one year or less, amortized cost $ 1,269.1 $ 1,562.2
Due in one year or less, estimated fair value 1,267.7 1,560.8
Due after one year through five years, amortized cost 846.0 1,234.5
Due after one year through five years, estimated fair value 856.3 1,230.4
Due after five years, amortized cost 123.5 173.6
Due after five years, estimated fair value 123.0 173.8
Amortized cost 2,247.0 2,965.0
Available-for-sale Securities $ 2,238.6 $ 2,970.3