#include "exam_DF_plus.cc"
#include "exam_DF_minus.cc"
#include "exam_DF_mul.cc"
#include "exam_DF_div.cc"
#include "exam_DF_floor.cc"

DO_TESTS(dfloat,cl_DF,cl_DF)