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