v3.23.1
Related party transactions - (Details) - USD ($)
$ in Millions
12 Months Ended
Sep. 30, 2022
Sep. 30, 2021
Sep. 30, 2020
Related Party Transactions [Abstract]      
Raw materials purchased from related party investor $ 8.0 $ 5.0 $ 3.4
Revenue from related parties 3.5 $ 0.0 $ 0.0
Related party consideration $ 0.1