Revenue Recognition (Sales by Geography and Customer Type) (Details) - Net sales	3 Months Ended
	Oct. 31, 2022	Oct. 31, 2021
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	32.10%	30.10%
Geographic Concentration Risk | Domestic
Concentration Risk [Line Items]
Concentration risk, percentage	46.70%	48.50%
Geographic Concentration Risk | Total United States
Concentration Risk [Line Items]
Concentration risk, percentage	78.80%	78.60%
Geographic Concentration Risk | International
Concentration Risk [Line Items]
Concentration risk, percentage	21.20%	21.40%
Customer Concentration Risk | Verizon Communications Inc.
Concentration Risk [Line Items]
Concentration risk, percentage	12.50%	11.70%