ctf_uint_write(destp, dest_class->mantissa, mantissa);
ctf_int_write(destp, dest_class->exp, exp);
ctf_uint_write(destp, dest_class->sign, sign);
ctf_uint_write(destp, dest_class->mantissa, mantissa);
ctf_int_write(destp, dest_class->exp, exp);
ctf_uint_write(destp, dest_class->sign, sign);