bits16
if ( 0xFD <= (bits16) zExp ) {
if ( 0x7FD <= (bits16) zExp ) {
if ( 0xFD <= (bits16) zExp ) {
&& ( (bits16) ( ( a.high | b.high )<<1 ) == 0 ) )
|| ( ( ( (bits16) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )
&& ( ( ( (bits16) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )
&& ( (bits16) ( ( a.high | b.high )<<1 ) == 0 ) )
|| ( ( ( (bits16) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )
&& ( ( ( (bits16) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )
if ( 0x7FD <= (bits16) zExp ) {
z.high = ( ( (bits16) zSign )<<15 ) + zExp;
!!!bits16 high;
bits16 high;
bits16 high;