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