Optimized dictionary specialization for Integers. Mirrors the dictionary API. - View it on GitHub