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