10000 LION = 9847.3 CRC

1.0 LION (Loaded Lions) = 0.98473 CRC (Costa Rican Colon)
1.0 CRC (Costa Rican Colon) = 1.0155 LION (Loaded Lions)