Revenue Recognition (Narrative 1) (Details) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-03-01	9 Months Ended
	May 31, 2025
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Expected timing of satisfaction, period	almost all of which is expected to be satisfied within the next 12 months.
Expected timing of satisfaction, period	12 months