53   int index, sign, intf, intflo, intz, argcount;  in __vatan()  local
82     intf     = HI(x);			/* upper half of x, as integer	*/  in __vatan()
84     sign     = intf &  0x80000000;		/* sign of argument		*/  in __vatan()
85     intf     = intf & ~0x80000000;		/* abs(upper argument)		*/  in __vatan()
87     if ((intf > 0x43600000) || (intf < 0x3e300000)) /* filter out special cases */  in __vatan()
89       if ( (intf > 0x7ff00000) || ((intf == 0x7ff00000) &&  (intflo !=0)))   in __vatan()
93       else if (intf < 0x3e300000) 		/* avoid underflow for small arg */  in __vatan()
99       else if (intf > 0x43600000)		/* avoid underflow for big arg  */  in __vatan()
113     if (intf > 0x40500000)			/* if (|x| > 64               	*/  in __vatan()
117     else if (intf >= 0x3f900000)		/* if |x| >= (1/64)... 		*/  in __vatan()
119       intz   = (intf + 0x00008000) & 0x7fff0000;/* round arg, keep upper	*/  in __vatan()
146     intf     = HI(x);			/* upper half of x, as integer	*/  in __vatan()
148     sign1    = intf &  0x80000000;		/* sign of argument		*/  in __vatan()
149     intf     = intf & ~0x80000000;		/* abs(upper argument)		*/  in __vatan()
151     if ((intf > 0x43600000) || (intf < 0x3e300000)) /* filter out special cases */  in __vatan()
153       if ( (intf > 0x7ff00000) || ((intf == 0x7ff00000) &&  (intflo !=0)))   in __vatan()
157       else if (intf < 0x3e300000) 		/* avoid underflow for small arg */  in __vatan()
163       else if (intf > 0x43600000)		/* avoid underflow for big arg  */  in __vatan()
184     if (intf > 0x40500000)			/* if (|x| > 64               	*/  in __vatan()
188     else if (intf >= 0x3f900000)		/* if |x| >= (1/64)... 		*/  in __vatan()
190       intz   = (intf + 0x00008000) & 0x7fff0000;/* round arg, keep upper	*/  in __vatan()
215     intf     = HI(x);			/* upper half of x, as integer	*/  in __vatan()
217     sign2    = intf &  0x80000000;		/* sign of argument		*/  in __vatan()
218     intf     = intf & ~0x80000000;		/* abs(upper argument)		*/  in __vatan()
220     if ((intf > 0x43600000) || (intf < 0x3e300000)) /* filter out special cases */  in __vatan()
222       if ( (intf > 0x7ff00000) || ((intf == 0x7ff00000) &&  (intflo !=0)))   in __vatan()
226       else if (intf < 0x3e300000) 		/* avoid underflow for small arg */  in __vatan()
232       else if (intf > 0x43600000)		/* avoid underflow for big arg  */  in __vatan()
251     if (intf > 0x40500000)			/* if (|x| > 64               	*/  in __vatan()
255     else if (intf >= 0x3f900000)		/* if |x| >= (1/64)... 		*/  in __vatan()
257       intz   = (intf + 0x00008000) & 0x7fff0000;/* round arg, keep upper	*/  in __vatan()