Close #76: missing ieeefp.h header