do proper unsigned casting