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