ref: 67d90c41c1d5ef13d67cc0a3ce2bd7de1cc53037 dir: /tests/execute/0123-doubleconst.c/
double x = 100; int main() { return x < 1; }