code: def ints2str(self, int_values):
      
      if not self._encoder:
        raise ValueError(
            "Text.ints2str is not available because encoder hasn't been defined.")
      return self._encoder.decode(int_values)
docs: Conversion list[int] => decoded string.