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 |
| X | ||||||||||
- Definition 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
|
| X | ||||||||||
- Definition Amount after tax and reclassification adjustments, of appreciation (loss) in value of unsold available-for-sale securities. Excludes amounts related to other than temporary impairment (OTTI) loss. Reference 1: http://www.xbrl.org/2003/role/presentationRef
|
| X | ||||||||||
- Definition Amount after tax of other comprehensive income (loss) attributable to parent entity. Reference 1: http://www.xbrl.org/2003/role/presentationRef
|
| X | ||||||||||
- Definition Amount of tax expense (benefit) allocated to other comprehensive income (loss) attributable to parent entity. Reference 1: http://www.xbrl.org/2003/role/presentationRef
|
| X | ||||||||||
- References No definition available.
|