1 /* Copyright (C) 1994 DJ Delorie, see COPYING.DJ for details */ 2 3 #include <internal/ieee.h> 4 5 #undef _HUGE 6 double_s _HUGE = { 0x00000, 0x00000, 0x7ff, 0x0 }; 7