1 #ifndef lint 2 static char rcsid[] = "$Id: infinity.c,v 1.1.1.1 1996/12/21 20:42:22 rahnds 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