10000 RED = 642389.75 LION

1.0 RED (RedStone) = 64.239 LION (Loaded Lions)
1.0 LION (Loaded Lions) = 0.015567 RED (RedStone)