Revenue Recognition - Changes in deferred revenue (Details) - USD ($) $ in Millions |
3 Months Ended | |
|---|---|---|
Aug. 31, 2026 |
Aug. 31, 2025 |
|
| Changes in deferred revenue | ||
| Deferred revenue at beginning of period | $ (57.2) | $ (46.7) |
| Revenue deferred | (162.3) | (87.0) |
| Revenue recognized | 160.9 | 93.7 |
| Other | (2.4) | (0.7) |
| Deferred revenue at end of period | $ (61.0) | $ (40.7) |
| X | ||||||||||
- Definition Amount of increase (decrease) in obligation to transfer good or service to customer for which consideration from customer has been received or is due, other. No definition available.
|
| X | ||||||||||
- Definition Total contract with customer liability revenue recognized during the period, including revenue recognized from current period increase in the contract liability. No definition available.
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of increase (decrease) in obligation to transfer good or service to customer for which consideration has been received or is receivable. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|