XML 52 R40.htm IDEA: XBRL DOCUMENT
v3.23.3

Fair Value Measurements (Financial Assets and Liabilities Measured at Fair Value on Recurring Basis) (Details) - USD ($) $ in Millions | Aug. 31, 2023 | May 31, 2023
--- | --- | ---
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Restricted and unrestricted cash equivalents | $ 514.1 | $ 43.8
Available-for-sale securities | 3,297.4 | 3,604.6
Other | 32.2 | 28.3
Other long-term liabilities | 32.2 | 28.3
U.S. Government Agency And Treasury Securities [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Restricted and unrestricted cash equivalents | 499.9 |
Available-for-sale securities | 779.1 | 746.8
Money Market Securities [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Restricted and unrestricted cash equivalents | 14.2 | 43.8
Asset-Backed Securities [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Available-for-sale securities | 84.8 | 86.7
Corporate Bonds [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Available-for-sale securities | 1,435.6 | 1,440.9
Municipal Bonds [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Available-for-sale securities | 986.6 | 986.1
VRDNs [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Available-for-sale securities | 11.3 | 344.1
Quoted Prices in Active Markets (Level 1) [Member] | Recurring [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Restricted and unrestricted cash equivalents | 14.2 | 43.8
Other | 32.2 | 28.3
Other long-term liabilities | 32.2 | 28.3
Quoted Prices in Active Markets (Level 1) [Member] | Money Market Securities [Member] | Recurring [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Restricted and unrestricted cash equivalents | 14.2 | 43.8
Significant Other Observable Inputs (Level 2) [Member] | Recurring [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Restricted and unrestricted cash equivalents | 499.9 |
Available-for-sale securities | 3,297.4 | 3,604.6
Significant Other Observable Inputs (Level 2) [Member] | U.S. Government Agency And Treasury Securities [Member] | Recurring [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Restricted and unrestricted cash equivalents | 499.9 |
Available-for-sale securities | 779.1 | 746.8
Significant Other Observable Inputs (Level 2) [Member] | Asset-Backed Securities [Member] | Recurring [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Available-for-sale securities | 84.8 | 86.7
Significant Other Observable Inputs (Level 2) [Member] | Corporate Bonds [Member] | Recurring [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Available-for-sale securities | 1,435.6 | 1,440.9
Significant Other Observable Inputs (Level 2) [Member] | Municipal Bonds [Member] | Recurring [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Available-for-sale securities | 986.6 | 986.1
Significant Other Observable Inputs (Level 2) [Member] | VRDNs [Member] | Recurring [Member] |  |
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items] |  |
Available-for-sale securities | $ 11.3 | $ 344.1

X
- Definition Amount of investment in debt security measured at fair value with change in fair value recognized in other comprehensive income (available-for-sale). + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (aa) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481800/320-10-50-2 Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 320 -SubTopic 10 -Name Accounting Standards Codification -Section 45 -Paragraph 1 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org//1943274/2147481830/320-10-45-1 Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Topic 942 -SubTopic 210 -Name Accounting Standards Codification -Section S99 -Paragraph 1 -Subparagraph (SX 210.9-03(6)) -Publisher FASB -URI https://asc.fasb.org//1943274/2147479853/942-210-S99-1 Reference 4: http://www.xbrl.org/2003/role/disclosureRef -Topic 326 -SubTopic 30 -Name Accounting Standards Codification -Section 45 -Paragraph 1 -Publisher FASB -URI https://asc.fasb.org//1943274/2147479130/326-30-45-1 + Details
Name: | us-gaap_AvailableForSaleSecuritiesDebtSecurities
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Fair value portion of currency on hand as well as demand deposits with banks or financial institutions. Includes other kinds of accounts that have the general characteristics of demand deposits. Also includes short-term, highly liquid investments that are both readily convertible to known amounts of cash and so near their maturity that they present insignificant risk of changes in value because of changes in interest rates. + References No definition available. + Details
Name: | us-gaap_CashAndCashEquivalentsFairValueDisclosure
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table. + References Reference 1: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (a) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 Reference 2: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 2 -Subparagraph (b) -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-2 Reference 3: http://www.xbrl.org/2003/role/disclosureRef -Topic 820 -SubTopic 10 -Name Accounting Standards Codification -Section 50 -Paragraph 3 -Publisher FASB -URI https://asc.fasb.org//1943274/2147482106/820-10-50-3 + Details
Name: | us-gaap_FairValueAssetsAndLiabilitiesMeasuredOnRecurringAndNonrecurringBasisLineItems
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Fair value portion of other assets. + References No definition available. + Details
Name: | us-gaap_OtherAssetsFairValueDisclosure
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | debit
Period Type: | instant

X
- Definition Fair value portion of other liabilities. + References No definition available. + Details
Name: | us-gaap_OtherLiabilitiesFairValueDisclosure
Namespace Prefix: | us-gaap_
Data Type: | xbrli:monetaryItemType
Balance Type: | credit
Period Type: | instant

X
- Details
Name: | us-gaap_FairValueByAssetClassAxis=us-gaap_USTreasuryAndGovernmentMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FairValueByAssetClassAxis=us-gaap_MoneyMarketFundsMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FairValueByAssetClassAxis=us-gaap_AssetBackedSecuritiesMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FairValueByAssetClassAxis=us-gaap_CorporateDebtSecuritiesMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FairValueByAssetClassAxis=us-gaap_MunicipalBondsMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FairValueByAssetClassAxis=us-gaap_VariableRateDemandObligationMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FairValueByFairValueHierarchyLevelAxis=us-gaap_FairValueInputsLevel1Member
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FairValueByMeasurementFrequencyAxis=us-gaap_FairValueMeasurementsRecurringMember
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |

X
- Details
Name: | us-gaap_FairValueByFairValueHierarchyLevelAxis=us-gaap_FairValueInputsLevel2Member
Namespace Prefix: |
Data Type: | na
Balance Type: |
Period Type: |