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