Thanks for looking that up.
Whoops! Those GDP figures should be in billions of dollars (not millions) and you’re welcome!