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