code: def process_result_value(self, value: Optional[str],
                               dialect: Dialect) -> List[int]:
          
          retval = self._dbstr_to_intlist(value)
          return retval
docs: Convert things on the way from the database to Python.