op.c: better casting fix

My commit 0cb87cd1a of a few minutes ago broke g++. Hopefully this
commit won't break anything else.