dblu_frach
u.dblu_frach = x >> (32 - DBL_FRACHBITS);
r |= ux.dblu_frach;
r |= ux.dblu_frach;
ux.dblu_frach = u.ul[H];
ux.dblu_frach = u.ul[H];
#define DBLU_ZEROFRAC_P(u) (((u).dblu_frach|(u).dblu_fracl) != 0)