according to Asterank, a database owned by Planetary Resources, a company that aims to mine asteroids. That represents the world’s total gross domestic product (about $80 trillion) 192,283 times over.”