ieee754dp_format
return ieee754dp_format(xs, xe, xm);
return ieee754dp_format(xs == ys ? 0 : 1, re, rm);
return ieee754dp_format(xs, xe, xm);
return ieee754dp_format(rs, re, lrm);
return ieee754dp_format(zs, ze, lzm);
return ieee754dp_format(rs, re, rm);
return ieee754dp_format(xs, xe, xm);
extern union ieee754dp ieee754dp_format(int, int, u64);