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