allow EQ cast in tos arena too