#include <cmath>

int __float_huge[] = { 0x7F800000 } ;