IntDict is an optimized version of a Dict with Int as key type.
Its API is the same as Dict's, so it can be regarded as a drop-in replacement.
If you are comfortable with Dict, working with IntDict should be a breeze!
For details about runtimes and important caveats with respect to JavaScript's number type, see the module documentation for IntDict.