var good1 = 0x1234ABCD;
var bad1 = 0x1234abcd;
Sys.println(good1 + " " + bad1);
I get the following output:
305441741 19090108
It looks like the last nibble of "bad1" is getting truncated (19090108 = 0x1234ABC).
var good1 = 0x1234ABCD;
var bad1 = 0x1234abcd;
Sys.println(good1 + " " + bad1);