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