INT opcode

Pickle v0 and (in some cases) other versions may produce this opcode.
Could you change the comment to read 'v0 does not prepend the version'?