Implementation of casts: bytes from/to integers