XML 48 R38.htm IDEA: XBRL DOCUMENT v3.23.4
Accounts Receivable (Details) - USD ($)
$ in Millions
Nov. 30, 2023
May 31, 2023
Accounts Receivable    
Total accounts receivable $ 246.4 $ 241.3
U.S. Government contracts:    
Accounts Receivable    
Trade receivables 16.6 13.1
Unbilled receivables 18.2 18.9
Total accounts receivable 34.8 32.0
All other customers:    
Accounts Receivable    
Trade receivables 185.0 179.7
Unbilled receivables 26.6 29.6
Total accounts receivable $ 211.6 $ 209.3