How long does it take for an ant to walk a mile?