Acquisition - Fair value of assets acquired and liabilities (Details) - USD ($) $ in Millions	Mar. 20, 2022	Aug. 31, 2023	May 31, 2023	May 20, 2023
Acquisition
Goodwill		$ 177.4	$ 175.8
Trax USA Corp
Acquisition
Accounts receivable				$ 8.8
Other assets				6.7
Intangible assets				61.7
Deferred revenue				(6.8)
Deferred tax liabilities				(15.8)
Other liabilities				(2.8)
Net assets acquired				51.8
Goodwill				61.7
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