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