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