Revenue and Segment Disclosures Revenue classified by timing of recognition (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Aug. 31, 2024	Aug. 31, 2023	Aug. 31, 2024	Aug. 31, 2023
Revenue classified by timing of recognition [Line Items]
Revenues	$ 145.0	$ 132.0	$ 289.0	$ 505.0
Products and services transferred over time
Revenue classified by timing of recognition [Line Items]
Revenues	79.0	79.0	156.0	165.0
Products and services transferred at a point in time
Revenue classified by timing of recognition [Line Items]
Revenues	$ 66.0	$ 53.0	$ 133.0	$ 340.0