/* Copyright (C) 1994 DJ Delorie, see COPYING.DJ for details */
#include <libc/ieee.h>

_double_union_t __dj_huge_val = { .dt = { 0x00000, 0x00000, 0x7ff, 0x0 } };