Revenues - Allowance for Credit Losses (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
Feb. 28, 2023	Nov. 30, 2022	Aug. 31, 2022	Feb. 28, 2023	Feb. 28, 2022
Accounts Receivable, Allowance for Credit Loss [Roll Forward]
Accounts Receivable, Allowance for Credit Loss, Beginning Balance	$ 17.4	$ 17.4	$ 25.9	$ 25.9
Provision for losses on accounts receivable	0.5	2.8	(1.5)	1.8	$ 8.5
Write-offs and other	(0.9)	(2.8)	(7.0)
Accounts Receivable, Allowance for Credit Loss, Ending Balance	$ 17.0	$ 17.4	$ 17.4	$ 17.0

Amount of allowance for credit loss on accounts receivable.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 20
-Section 50
-Paragraph 13
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=124255953&loc=SL82919249-210447

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 310
-SubTopic 10
-Section 50
-Paragraph 4
-URI http://asc.fasb.org/extlink&oid=123577603&loc=d3e5074-111524

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 20
-Section 50
-Paragraph 13
-Subparagraph (f)
-URI http://asc.fasb.org/extlink&oid=124255953&loc=SL82919249-210447

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 326
-SubTopic 20
-Section 45
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=124255206&loc=SL82895884-210446

+ Details

Name:	us-gaap_AllowanceForDoubtfulAccountsReceivable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

A roll forward is a reconciliation of a concept from the beginning of a period to the end of a period.

+ References

No definition available.

+ Details

Name:	us-gaap_AllowanceForDoubtfulAccountsReceivableRollforward
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of direct write-downs of accounts receivable charged against the allowance.

+ References

+ Details

Name:	us-gaap_AllowanceForDoubtfulAccountsReceivableWriteOffs
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amount of expense (reversal of expense) for expected credit loss on accounts receivable.

+ References

+ Details

Name:	us-gaap_ProvisionForDoubtfulAccounts
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration