Revenue and Contracts with Customers (Revenue from External Customers by Geographic Areas) (Details) - USD ($) $ in Millions	3 Months Ended	12 Months Ended
	Dec. 31, 2021	Dec. 31, 2021	Dec. 31, 2020
Revenue		$ 298.3	$ 247.2
United States
Revenue		220.5	171.7
Belgium
Revenue	$ 36.6		35.8
Japan
Revenue		34.6	23.4
Other Foreign
Revenue		6.6	16.3
Foreign
Revenue		77.8	75.5
Product [Member]
Revenue		186.1	190.5
Product [Member] | United States
Revenue		108.3	115.0
Product [Member] | Belgium
Revenue		36.6	35.8
Product [Member] | Japan
Revenue		34.6
Product [Member] | Other Foreign
Revenue		6.6	16.3
Product [Member] | Foreign
Revenue		$ 77.8	$ 75.5