how many ants are there in the world wtf fun