Function read

sources/instance/type_ext.cpp:861–867

		}

		string read(istream &in, const numeric &n)
		{
			string buff(n.as_integer(), '\0');
			in->read(&buff[0], buff.size());
			buff.resize(in->gcount());
			return buff;
		}

		void init()
		{