1 #ifndef lint 2 static char rcsid[] = "$Id: infinity.c,v 1.1.1.1 1995/10/18 08:41:24 deraadt Exp $"; 3 #endif /* not lint */ 4 5 /* infinity.c */ 6 7 #include <math.h> 8 9 /* bytes for +Infinity on a 387 */ 10 char __infinity[] = { 0, 0, 0, 0, 0, 0, 0xf0, 0x7f }; 11