Go to most recent revision | Details | Last modification | View Log | RSS feed
/* Copyright (C) 1994 DJ Delorie, see COPYING.DJ for details */
#include
double_t __dj_double_max = { 0xffffffffU, 0xfffff, 0x7fe, 0x0 };