Method fp_less

src/ap.cpp:1087–1093

}

bool ap::fp_less(double v1, double v2)
{
    // IEEE-strict floating point comparison
    volatile double x = v1;
    volatile double y = v2;
    return x<y;
}

bool ap::fp_less_eq(double v1, double v2)
{