“On average you’d expect about one in a million centuries there would be a dinosaur killer–scale asteroid impact. And if you ask, ‘Well, how bad would it be if our civilization was laid waste by an asteroid?’ Then you can say, well it’s probably worth more than one year of GDP.”