Acquisitions (Details) - USD ($) $ in Millions				3 Months Ended
	Aug. 11, 2025	Mar. 01, 2024	Mar. 20, 2023	Aug. 31, 2025	May 31, 2025	Aug. 31, 2024	Nov. 30, 2023	May 31, 2024	May 31, 2023
Aerostrat Corp
Acquisitions
Purchase price	$ 15.0
Contingent consideration	5.0
Escrow deposit	3.1
Business combination, acquisition related costs	0.5
Aerostrat Corp | Successful lunch of certain product offering
Acquisitions
Contingent consideration	1.0
Aerostrat Corp | Achievement of adjusted revenue targets
Acquisitions
Contingent consideration	4.0
Aerostrat Corp | Trade Names
Acquisitions
Amortizable intangible assets acquired	0.7
Aerostrat Corp | Customer relationships
Acquisitions
Amortizable intangible assets acquired	$ 4.7
Weighted average useful life	10 years
Aerostrat Corp | Developed technology
Acquisitions
Amortizable intangible assets acquired	$ 4.9
Weighted average useful life	20 years
Product support business
Acquisitions
Purchase price		$ 725.0
Business combination, acquisition related costs				$ 1.0		$ 1.5
Reduction in purchase price		2.9
Product support business | Customer relationships
Acquisitions
Amortizable intangible assets acquired		$ 96.1
Weighted average useful life		12 years 6 months
Product support business | Developed technology
Acquisitions
Amortizable intangible assets acquired		$ 83.3
Weighted average useful life		20 years
Trax USA Corp
Acquisitions
Purchase price			$ 120.0
Contingent consideration								$ 20.0	$ 20.0
Escrow deposit			$ 12.0		$ 5.3
Business combination, consideration transferred, liabilities incurred							$ 1.8
Escrow deposit disbursement					$ 4.4		$ 3.0
Compensation expense				$ 8.1		$ 1.5
Trax USA Corp | Developed technology
Acquisitions
Amortizable intangible assets acquired		$ 83.3