Tests for binary_op_cast