How many people are happy in the world?