It would be a coup for sure.

One suggestion about the multiplication and division opcodes - if all else fails, repeated addition and subtraction can be used. Although a Montgomery-style multiply/add can be explored for the multiply opcode specifically in a similar way that public keys are calculated.