Revenue and Segment Disclosures Revenue classified by timing of recognition (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Aug. 31, 2023	Aug. 31, 2022	Aug. 31, 2023	Aug. 31, 2022
Revenue classified by timing of recognition [Line Items]
Revenues	$ 132.0	$ 168.0	$ 505.0	$ 336.0
Products and services transferred over time
Revenue classified by timing of recognition [Line Items]
Revenues	79.0	95.0	165.0	193.0
Products and services transferred at a point in time
Revenue classified by timing of recognition [Line Items]
Revenues	$ 53.0	$ 73.0	$ 340.0	$ 143.0