Note 6. Leases - Summary of future lease payments (Details) $ in Millions	Sep. 30, 2019 USD ($)
Leases [Abstract]
Lessee, Operating Lease, Liability, Payments, Remainder of Fiscal Year	$ 3.5
Lessee, Operating Lease, Liability, Payments, Due Year Two	4.6
Lessee, Operating Lease, Liability, Payments, Due Year Three	4.4
Lessee, Operating Lease, Liability, Payments, Due Year Four	3.9
Lessee, Operating Lease, Liability, Payments, Due Year Five	3.1
Lessee, Operating Lease, Liability, Payments, Due after Year Five	6.2
Lessee, Operating Lease, Liability, Payments, Due	25.7
Lessee, Operating Lease, Liability, Undiscounted Excess Amount	3.4
Operating Lease, Liability	$ 22.3