Annual report pursuant to Section 13 and 15(d)

Fair Value Measurements (Financial Assets and Liabilities Measured at Fair Value on Recurring Basis) (Details)

v3.21.2
Fair Value Measurements (Financial Assets and Liabilities Measured at Fair Value on Recurring Basis) (Details) - USD ($)
$ in Millions
May 31, 2021
May 31, 2020
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Restricted and unrestricted cash equivalents $ 2.9 $ 43.5
Available-for-sale securities 3,020.2 2,757.2
Other 34.0 27.2
Other long-term liabilities 32.6 26.8
Asset-Backed Securities [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 87.9 69.7
Corporate Bonds [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 664.4 683.6
Municipal Bonds [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 1,699.7 1,409.6
U.S. Government Agency And Treasury Securities [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities 568.2 594.3
Money Market Securities [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Restricted and unrestricted cash equivalents 2.9 43.5
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 2.9 43.5
Available-for-sale securities
Other 34.0 27.2
Other long-term liabilities 32.6 26.8
Quoted Prices in Active Markets (Level 1) [Member] | Asset-Backed Securities [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities
Quoted Prices in Active Markets (Level 1) [Member] | Corporate Bonds [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities
Quoted Prices in Active Markets (Level 1) [Member] | Municipal Bonds [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities
Quoted Prices in Active Markets (Level 1) [Member] | U.S. Government Agency And Treasury Securities [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities
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 2.9 43.5
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
Available-for-sale securities 3,020.2 2,757.2
Other
Other long-term liabilities
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 87.9 69.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 664.4 683.6
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 1,699.7 1,409.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]    
Available-for-sale securities 568.2 594.3
Significant Other Observable Inputs (Level 2) [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
Significant Unobservable Inputs (Level 3) [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Restricted and unrestricted cash equivalents
Available-for-sale securities
Other
Other long-term liabilities
Significant Unobservable Inputs (Level 3) [Member] | Asset-Backed Securities [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities
Significant Unobservable Inputs (Level 3) [Member] | Corporate Bonds [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities
Significant Unobservable Inputs (Level 3) [Member] | Municipal Bonds [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities
Significant Unobservable Inputs (Level 3) [Member] | U.S. Government Agency And Treasury Securities [Member] | Recurring [Member]    
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]    
Available-for-sale securities
Significant Unobservable Inputs (Level 3) [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