Number of ants in the world compared to humans