Use strict integer keys for Vector.

Fix a minor bug in Vector::count().