code: def _init_idxs_int(self, usr_hdrs):
          
          self.idxs_int = [
              Idx for Hdr, Idx in self.hdr2idx.items() if Hdr in usr_hdrs and Hdr in self.int_hdrs]
docs: List of indexes whose values will be ints.