Use IntMap instead of Map in the deserializer