XML 51 R37.htm IDEA: XBRL DOCUMENT v3.23.3
Accounts Receivable (Details) - USD ($)
$ in Millions
Aug. 31, 2023
May 31, 2023
Accounts Receivable    
Total accounts receivable $ 280.6 $ 241.3
U.S. Government contracts:    
Accounts Receivable    
Trade receivables 16.0 13.1
Unbilled receivables 17.0 18.9
Total accounts receivable 33.0 32.0
All other customers:    
Accounts Receivable    
Trade receivables 207.4 179.7
Unbilled receivables 40.2 29.6
Total accounts receivable $ 247.6 $ 209.3