It's the 11th largest in the world, or about 7.5% of the US reserves which is a lot more than the gdp difference (4.4%)