#include <signal.h>
#define FPE_FLTOVF                                                           (4)
/*
XOPEN(400)
POSIX(200809)
*/