How Many Ants Are Out There