return ~(t >> 31) & (1 - ((ix & 0x80000000) >> 30));
return ~(t >> 31) & (ix >> 30);
	int __isinff(float x)#else	int __isinff(x)	float x;#endif{	int32_t ix,t;	GET_FLOAT_WORD(ix,x);	t = ix & 0x7fffffff;	t ^= 0x7f800000;	t |= -t;	return ~(t >> 31) & (1 - ((ix & 0x80000000) >> 30));}