LNXT
w = ldexpl( w, -LNXT ); /* divide by NXT */
w = ldexpl( Ga+Ha, LNXT );
t = ldexpl( x, LNXT );
t = ldexpl( t, -LNXT );