How many ants are in the world right now