It's a bit off, based off 2018 numbers they're a little over 1% of the US GDP and a little over 0.3% of the world's GDP. Could be more off, since I don't know where their products that are both made and sold in other countries are counted. Still insane that they could be close to a whole number percentage though, especially with their (relatively) limited product line.