Attempt at 6.4.4.1p5 on types for integer literals.