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