Leases (Supplemental Balance Sheet Information Related to Leases) (Details) - USD ($) $ in Millions |
Nov. 30, 2019 |
May 31, 2019 |
||
|---|---|---|---|---|
| Leases [Abstract] | ||||
| Operating lease right-of-use assets, net of accumulated amortization | $ 119.2 | |||
| Operating lease liabilities, current | [1] | 38.1 | ||
| Operating lease liabilities, non-current | $ 100.1 | $ 13.0 | ||
| Weighted average remaining lease term (in years) | 4 years 5 months 12 days | |||
| Weighted average discount rate | 2.02% | |||
| ||||
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Present value of lessee's discounted obligation for lease payments from operating lease, classified as current. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Present value of lessee's discounted obligation for lease payments from operating lease, classified as noncurrent. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of lessee's right to use underlying asset under operating lease. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Weighted average discount rate for operating lease calculated at point in time. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Weighted average remaining lease term for operating lease, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents reported fact of one year, five months, and thirteen days. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|