Hi, I checked two very reliable box office sources and both lists that number in US dollars. Based on that it's safe to assume that someone added incorrect data to IMDb, unless you have a different source to help clarify the situation. Thanks.

Edit: I also changed the revenue based on the higher number here.

Update: See my other reply about fixing the production companies. More research is needed about what the exact correct budget number should be!