- elaborated literals larger than 32 bits are given an explicit size
- constant folding no longer encodes illegal negative numbers