Investments (Rollforward of Cumulative Amounts Related to Credit Loss Portion of OTTI Losses) (Details) - USD ($) $ in Millions	3 Months Ended
Mar. 31, 2018	Mar. 31, 2017
Other than Temporary Impairment, Credit Losses Recognized in Earnings [Roll Forward]
Credit losses at beginning of period	$ 3.9	$ 10.0
Credit losses on securities for which an OTTI was not previously recognized	0.2
Reductions for securities called, sold, or matured	(0.8)	(0.1)
Credit losses at end of period	$ 3.3	$ 9.9

This item represents an increase to the cumulative amount of credit losses recognized in earnings for an other than temporary impairment (OTTI) of a debt security held for which no such other than temporary impairment (OTTI) was previously recognized.

Name:	us-gaap_OtherThanTemporaryImpairmentCreditLossesRecognizedInEarningsAdditionsNoPreviousImpairment
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

The cumulative amount of credit losses recognized in earnings related to debt securities held for which a portion of an other than temporary impairment (OTTI) was recognized in other comprehensive income (a component of shareholders' equity).

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 8B
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=82897076&loc=SL6284393-111563

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 8B
-Subparagraph (g)
-URI http://asc.fasb.org/extlink&oid=82897076&loc=SL6284393-111563

+ Details

Name:	us-gaap_OtherThanTemporaryImpairmentCreditLossesRecognizedInEarningsCreditLossesOnDebtSecuritiesHeld
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

This item represents reductions in the cumulative amount of credit losses recognized in earnings for an other than temporary impairment (OTTI) of a debt security because of the sale of impaired securities during the period.

+ References

+ Details

Name:	us-gaap_OtherThanTemporaryImpairmentCreditLossesRecognizedInEarningsReductionsSecuritiesSold
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

+ References

No definition available.

+ Details

Name:	us-gaap_OtherThanTemporaryImpairmentCreditLossesRecognizedInEarningsRollForward
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration