CodeGen: output integer constants larger than 32 bits.