/* Copyright (C) 1994 DJ Delorie, see COPYING.DJ for details */ #include #undef _HUGE double_t _HUGE = { 0x00000, 0x00000, 0x7ff, 0x0 };