FIXED: Correct the size of contant ints. If the label is 64bit, make the constant 64bits.