XML 53 R41.htm IDEA: XBRL DOCUMENT v3.25.1
REVENUES FROM CONTRACTS WITH CUSTOMERS - Remaining Unsatisfied Performance Obligations (Details) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-05-01
$ in Billions
Apr. 30, 2025
USD ($)
REVENUES FROM CONTRACTS WITH CUSTOMERS  
Contract backlog amount $ 1.9
Contract backlog (as percent) 32.00%
Minimum  
REVENUES FROM CONTRACTS WITH CUSTOMERS  
Performance period 1 year
Maximum  
REVENUES FROM CONTRACTS WITH CUSTOMERS  
Performance period 4 years