fpmisc_types: THEORY
BEGIN

	IMPORTING rd_types

	fpm_rd1in_t: TYPE = [# rdinp: rd_rd1in_t, 
						   %% the rest is needed for post-processing of
						   %% the cvt functions
						   origF: bvec[64], 
						   cvtf2i, cvtd2s, OVFen, UNFen: bit #];

	fpm_rd2in_t: TYPE = [# rdinp: rd_rd2in_t,
						   origF: bvec[64], 
						   cvtf2i, cvtd2s, OVFen, UNFen: bit #];

END fpmisc_types