Revenue Recognition (Sales by Geography and Customer Type) (Details) - Net sales	3 Months Ended
	Oct. 31, 2023	Oct. 31, 2022
Geographic Concentration Risk
Concentration Risk [Line Items]
Concentration risk, percentage	100.00%	100.00%
Geographic Concentration Risk | U.S. government
Concentration Risk [Line Items]
Concentration risk, percentage	35.30%	32.10%
Geographic Concentration Risk | Domestic
Concentration Risk [Line Items]
Concentration risk, percentage	40.20%	46.70%
Geographic Concentration Risk | Total United States
Concentration Risk [Line Items]
Concentration risk, percentage	75.50%	78.80%
Geographic Concentration Risk | International
Concentration Risk [Line Items]
Concentration risk, percentage	24.50%	21.20%
Customer Concentration Risk | Verizon Communications Inc.
Concentration Risk [Line Items]
Concentration risk, percentage		12.50%