runtime type check of int->bytes

we can compute if the passed integer will fit in the specified byte
sequence length, and signal a type error if it does not, or if it is negative