Add casting between integer types #56
Description
Currently we have several different types for integers, indexed by bitsize. It would be useful to be able to cast between them.
{{ message }}
Currently we have several different types for integers, indexed by bitsize. It would be useful to be able to cast between them.