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