10000 AVNT = 584525.56 LION

1.0 AVNT (Avantis) = 58.453 LION (Loaded Lions)
1.0 LION (Loaded Lions) = 0.017108 AVNT (Avantis)