10000 RED = 573319.54 LION

1.0 RED (RedStone) = 57.332 LION (Loaded Lions)
1.0 LION (Loaded Lions) = 0.017442 RED (RedStone)