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