Describe the feature

Integer literals are implicitly convertible to any integer type it fits in. Note that an unsigned integer literal can be implicitly converted to a signed integer, but a signed integer literal cannot be converted to an unsigned integer.

solc relies on constant folding in the AST, but we will skip that for the time being.

Additional context

No response