ref: 46d3eab0b1e077005fcc4a7bc5257be9a411d1a1 dir: /tests/execute/0123-doubleconst.c/
double x = 100; int main() { return x < 1; }