update bytecode to operate on generic 64-bit values