v3.26.1
Revenue Recognition (Sales by Geography and Customer Type) (Details) - Net sales - Geographic Concentration Risk
3 Months Ended 9 Months Ended
Apr. 30, 2026
Apr. 30, 2025
Apr. 30, 2026
Apr. 30, 2025
Concentration Risk [Line Items]        
Concentration risk, percentage 100.00% 100.00% 100.00% 100.00%
U.S. government        
Concentration Risk [Line Items]        
Concentration risk, percentage 22.00% 25.60% 17.80% 32.00%
Domestic        
Concentration Risk [Line Items]        
Concentration risk, percentage 54.60% 51.00% 54.80% 48.30%
Total United States        
Concentration Risk [Line Items]        
Concentration risk, percentage 76.60% 76.60% 72.60% 80.30%
International        
Concentration Risk [Line Items]        
Concentration risk, percentage 23.40% 23.40% 27.40% 19.70%