Acquisition - Fair value of assets acquired and liabilities (Details) - USD ($) $ in Millions	Mar. 20, 2023	Nov. 30, 2023	May 31, 2023
Acquisition
Goodwill		$ 176.0	$ 175.8
Trax USA Corp
Acquisition
Accounts receivable	$ 8.8
Other assets	5.7
Intangible assets	61.7
Deferred revenue	(4.1)
Deferred tax liabilities	(15.8)
Other liabilities	(3.1)
Net assets acquired	53.2
Goodwill	60.3
Purchase price, net of cash acquired	113.5
Trax USA Corp | Tradenames
Acquisition
Acquired indefinite-lived intangible assets	6.1
Trax USA Corp | Customer relationships
Acquisition
Acquired amortizable intangible assets	$ 33.6
Amortization period of intangible assets (in years)	12 years
Trax USA Corp | Developed technology
Acquisition
Acquired amortizable intangible assets	$ 22.0
Amortization period of intangible assets (in years)	20 years