#ifndef lint
static char rcsid[] = "$Id: infinity.c,v 1.1 1995/04/17 12:23:41 ragge Exp $";
#endif /* not lint */
/*
 * XXX - THIS IS (probably) COMPLETELY WRONG ON VAX!!!
 */

/* infinity.c */

#include <math.h>

/* bytes for +Infinity on a 387 */
char __infinity[] = { 0, 0, 0, 0, 0, 0, 0xf0, 0x7f };