Revenue Recognition (Details) - USD ($) $ in Millions |
3 Months Ended | |
|---|---|---|
Aug. 31, 2026 |
Aug. 31, 2025 |
|
| Revenue Recognition | ||
| Practical Expedient, Incremental costs of obtaining a contract | true | |
| Practical Expedient, Remaining performance obligations | true | |
| Cumulative catch-up adjustments | $ (3.4) | $ 0.0 |
| X | ||||||||||
- Definition Indicates (true false) whether practical expedient was elected not to disclose amount of transaction price allocated to remaining performance obligation and explanation of expected timing of revenue recognition for reporting period presented prior to date of initial application under retrospective method. No definition available.
|
| X | ||||||||||
- Definition Amount of increase (decrease) in revenue recognized for cumulative catch-up adjustment from change in measure of progress which increases (decreases) right to consideration in exchange for good or service transferred to customer when right is conditioned on something other than passage of time. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Indicates (true false) whether practical expedient was elected to recognize incremental cost of obtaining contract as expense when incurred if amortization period would have been one year or less. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|