#include <limits.h>
REFERENCE(float/DBL_DIG.c)
XOPEN(4,700)