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