Statements of Comprehensive Income (Parenthetical) - USD ($) $ in Millions	12 Months Ended
Dec. 31, 2019	Dec. 31, 2018	Dec. 31, 2017
Statement of Comprehensive Income [Abstract]
Net change in unrealized gains on securities, taxes	$ (18.1)	$ 16.5	$ (12.9)
Net change in other-than-temporary impairment gains (losses) recognized in other comprehensive income, taxes	$ (0.3)	$ 0.6	$ (0.3)

Amount of tax (expense) benefit of other than temporary impairment (OTTI) on investment in available-for-sale debt security, recognized in other comprehensive loss, attributable to the parent entity.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 12
-URI http://asc.fasb.org/extlink&oid=118930883&loc=d3e640-108580

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 10A
-Subparagraph (g)
-URI http://asc.fasb.org/extlink&oid=118930883&loc=SL7669646-108580

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 810
-SubTopic 10
-Section 45
-Paragraph 20
-URI http://asc.fasb.org/extlink&oid=108774443&loc=SL4569643-111683

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 810
-SubTopic 10
-Section 50
-Paragraph 1A
-Subparagraph (c)(3)
-URI http://asc.fasb.org/extlink&oid=109239629&loc=SL4573702-111684

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