Added simplified test case for conversion double2int.

[r20760]

ir/be/test/fehler117.c

+double x = 4294967295.0;
+
+int main(void) {
+	printf("%u (should be 4294967295)\n", (unsigned int)x);
+	return 0;
+}