@@ -148,7 +148,7 @@ VAL idris_bigAnd(VM* vm, VAL x, VAL y) {
148148 if (ISINT(x) && ISINT(y)) {
149149 return INTOP(&, x, y);
150150 } else {
151− return bigAnd(vm, (VAL)GETBIG(vm, x), (VAL)GETBIG(vm, y));
151+ return bigAnd(vm, GETBIG(vm, x), GETBIG(vm, y));
152152 }
153153}
154154
@@ -156,7 +156,7 @@ VAL idris_bigOr(VM* vm, VAL x, VAL y) {
156156 if (ISINT(x) && ISINT(y)) {
157157 return INTOP(|, x, y);
158158 } else {
159− return bigOr(vm, (VAL)GETBIG(vm, x), (VAL)GETBIG(vm, y));
159+ return bigOr(vm, GETBIG(vm, x), GETBIG(vm, y));
160160 }
161161}
162162
@@ -169,12 +169,12 @@ VAL idris_bigPlus(VM* vm, VAL x, VAL y) {
169169 }
170170 i_int res = vx + vy;
171171 if (res >= 1<<30 || res <= -(1 << 30)) {
172− return bigAdd(vm, (VAL)GETBIG(vm, x), (VAL)GETBIG(vm, y));
172+ return bigAdd(vm, GETBIG(vm, x), GETBIG(vm, y));
173173 } else {
174174 return MKINT(res);
175175 }
176176 } else {
177− return bigAdd(vm, (VAL)GETBIG(vm, x), (VAL)GETBIG(vm, y));
177+ return bigAdd(vm, GETBIG(vm, x), GETBIG(vm, y));
178178 }
179179}
180180