This opcode for maths would resolve the types before handing its parameter off to special CPU circuits to evaluate that integer or floating point microcode, or for records to its appropriate metamethod. There'd be a separate opcode for unary operators.
Some math ops may have dedicated opcodes.
I'd have a couple 2-arg opcodes (maybe I make these opcodes 32bits wide afterall?) to set a given "local" in so many frames back of the closure.
And opcodes for getting/setting a value in a record.
3/5