Formerly ieee754/huge_val.h.~2~