adda cast_operator