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