10000 RED = 652894.63 LION

1.0 RED (RedStone) = 65.289 LION (Loaded Lions)
1.0 LION (Loaded Lions) = 0.015316 RED (RedStone)