pub const OP_NUMNOTEQUAL: u8 = 0x9e;
Push 1 if the top two items are not numerically equal, 0 otherwise.