is there any way to go from uint256 to bytes?