ieee754dp_tint
rv.w = ieee754dp_tint(fs); /* wrong */
rv.w = ieee754dp_tint(fs);
int ieee754dp_tint(union ieee754dp x);
#define ieee754dp_fix(x) ieee754dp_tint(x)