add failing test (re fold-const vs. strict 32-bit int)
the result of const-folding may differ bet. number / int