Added cast for opCmp