10000 AI = 2338.7 RED

1.0 AI (Sleepless AI) = 0.23387 RED (RedStone)
1.0 RED (RedStone) = 4.2759 AI (Sleepless AI)