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