Accumulated Other Comprehensive Income (Changes in Accumulated Other Comprehensive Income) (Details) - USD ($) $ in Millions	3 Months Ended
Aug. 31, 2017	Aug. 31, 2016
Accumulated Other Comprehensive Income [Abstract]
Beginning balance	$ 20.0	$ 29.2
Unrealized gains on available-for-sale securities, net of tax	4.4	10.0
Total other comprehensive income, net of tax	4.4	10.0
Ending balance	24.4	39.2
Total tax expense included in other comprehensive income	$ 2.4	$ 5.7

Accumulated change in equity from transactions and other events and circumstances from non-owner sources, net of tax effect, at period end. Excludes Net Income (Loss), and accumulated changes in equity from transactions resulting from investments by owners and distributions to owners. Includes foreign currency translation items, certain pension adjustments, unrealized gains and losses on certain investments in debt and equity securities, other than temporary impairment (OTTI) losses related to factors other than credit losses on available-for-sale and held-to-maturity debt securities that an entity does not intend to sell and it is not more likely than not that the entity will be required to sell before recovery of the amortized cost basis, as well as changes in the fair value of derivatives related to the effective portion of a designated cash flow hedge.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=84228862&loc=d3e637-108580

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 14
-URI http://asc.fasb.org/extlink&oid=84228862&loc=d3e681-108580

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section 45
-Paragraph 14A
-URI http://asc.fasb.org/extlink&oid=84228862&loc=SL7669686-108580

Name:	us-gaap_AccumulatedOtherComprehensiveIncomeLossNetOfTax
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant