1This checks the neg_double bytecode.
2