Read a ``str`` from ``open_stream_in`` and convert it to an integer
		using ``ord``. The result will be truncated according to Integer_.

def read(self):
		"""
		Read a ``str`` from ``open_stream_in`` and convert it to an integer
		using ``ord``. The result will be truncated according to Integer_.
		"""
		self.repr_.setvalue(ord(self.open_stream_in.read(1)))
		return self.value.getvalue()