Describe the feature

Integers are explicitly convertible to and from all integer types.

If an integer is explicitly converted to a smaller size, higher order bits are discarded.

If an integer is explicitly converted to a larger size, the integer is left padded with 0s.

Integers are also explicitly converted to fixed size bytes of the same size.

Additional context

No response