Putting America's ridiculously large $18T economy into perspective by comparing US state GDPs to entire countries

Putting America's ridiculously large $18T economy into perspective by comparing US state GDPs to entire countries - AEI:
"... 2. America’s second largest state economy – Texas – produced $1.64 trillion of economic output in 2015, which would have ranked the Lone Star State as the world’s 10th largest economy last year, behind No. 9 Brazil with $1.77 trillion of economic output.
Although Brazil out-produced Texas last year by almost 8%, the workforce of Brazil is around 91 million employees compared to payroll employment in Texas of only about 12 million. 
So to produce just slightly more economic output last year, Brazil’s workforce is larger by almost 80 million workers compared to the US!"