#include #include long double __floatunditf(uint64_t); #include "floatunditf_test.h" #include "DD.h" int main(int argc, char *argv[]) { int i; DD expected; DD computed; for (i=0; i