Revenue Recognition (Sales by Geography and Customer Type) (Details) - Net sales - Geographic Concentration Risk	3 Months Ended		6 Months Ended
	Jan. 31, 2025	Jan. 31, 2024	Jan. 31, 2025	Jan. 31, 2024
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	35.40%	31.50%	35.40%	33.50%
Domestic
Concentration Risk [Line Items]
Concentration risk, percentage	45.50%	42.90%	46.90%	41.50%
Total United States
Concentration Risk [Line Items]
Concentration risk, percentage	80.90%	74.40%	82.30%	75.00%
International
Concentration Risk [Line Items]
Concentration risk, percentage	19.10%	25.60%	17.70%	25.00%