XML 41 R39.htm IDEA: XBRL DOCUMENT v3.20.1
Revenue Recognition (Details) - USD ($)
$ in Millions
3 Months Ended 9 Months Ended
Feb. 29, 2020
Feb. 28, 2019
Feb. 29, 2020
Feb. 28, 2019
Revenue Recognition        
Favorable cumulative catch-up adjustments $ 4.2 $ 0.8 $ 6.1 $ 4.6
Unfavorable cumulative catch-up adjustments 1.7   1.7 0.5
Net favorable adjustments $ 2.5 $ 0.8 $ 4.4 $ 4.1
Practical Expedient, Incremental costs of obtaining a contract     true  
Practical Expedient, Remaining performance obligations     true