v3.25.4
Revenue and Contracts with Customers (Revenue from External Customers by Geographic Areas) (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2025
Dec. 31, 2024
Dec. 31, 2023
Revenue $ 448.7 $ 442.0 $ 320.2
United States      
Revenue 335.3 253.4 281.6
Japan      
Revenue 102.7 117.2 23.6
Other Foreign      
Revenue 10.7 29.0 15.0
Foreign      
Revenue 113.4 188.6 38.6
NETHERLANDS      
Revenue 0.0 42.4 0.0
Product [Member]      
Revenue 346.2 349.9 269.0
Product [Member] | United States      
Revenue 232.8 161.3 230.4
Product [Member] | Japan      
Revenue 102.7 117.2 23.6
Product [Member] | Other Foreign      
Revenue 10.7 29.0 15.0
Product [Member] | Foreign      
Revenue 113.4 188.6 38.6
Product [Member] | NETHERLANDS      
Revenue $ 0.0 $ 42.4 $ 0.0