python: ArmOpValue.imm uses int32 type after the last change in the core