Service Revenue (Narrative) (Performance Obligation) (Details) $ in Millions	May 31, 2024 USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2024-06-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Deferred revenue, performance obligations	$ 32.5
Deferred revenue, timing of satisfaction	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-06-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Deferred revenue, performance obligations	$ 42.4
Deferred revenue, timing of satisfaction