10000 AVNT = 769612.82 LION

1.0 AVNT (Avantis) = 76.961 LION (Loaded Lions)
1.0 LION (Loaded Lions) = 0.012994 AVNT (Avantis)