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