10000 DDX = 316111.43 LION

1.0 DDX (DerivaDAO) = 31.611 LION (Loaded Lions)
1.0 LION (Loaded Lions) = 0.031634 DDX (DerivaDAO)