How Many Ants?