DOUBLE_VALUE     1346 core/Interpreter.cpp 		dest = core->doubleToAtom(DOUBLE_VALUE(a1) + 1.0); \
DOUBLE_VALUE     1361 core/Interpreter.cpp 		dest = core->doubleToAtom(DOUBLE_VALUE(a1) + DOUBLE_VALUE(a2)); \
DOUBLE_VALUE     1380 core/Interpreter.cpp 		dest = core->doubleToAtom(DOUBLE_VALUE(a1) - 1.0); \
DOUBLE_VALUE     1473 core/Interpreter.cpp 					i1 = (int32_t)AvmCore::integer_d(DOUBLE_VALUE(a1));
DOUBLE_VALUE     1474 core/Interpreter.cpp 					i2 = (int32_t)AvmCore::integer_d(DOUBLE_VALUE(a2));
DOUBLE_VALUE     1502 core/Interpreter.cpp 					sp[0] = core->doubleToAtom(DOUBLE_VALUE(a1) - DOUBLE_VALUE(a2)); 
DOUBLE_VALUE     1524 core/Interpreter.cpp 					i1 = (int32_t)AvmCore::integer_d(DOUBLE_VALUE(a1));
DOUBLE_VALUE     1525 core/Interpreter.cpp 					i2 = (int32_t)AvmCore::integer_d(DOUBLE_VALUE(a2));
DOUBLE_VALUE     1545 core/Interpreter.cpp 					sp[0] = core->doubleToAtom(DOUBLE_VALUE(a1) * DOUBLE_VALUE(a2)); \
DOUBLE_VALUE     1576 core/Interpreter.cpp 					sp[0] = core->doubleToAtom(DOUBLE_VALUE(a1) / DOUBLE_VALUE(a2));
DOUBLE_VALUE     1603 core/Interpreter.cpp 					sp[0] = core->doubleToAtom(MathUtils::mod(DOUBLE_VALUE(a1), DOUBLE_VALUE(a2)));
DOUBLE_VALUE     1782 core/Interpreter.cpp 		b1 = DOUBLE_VALUE(a1) numeric_cmp DOUBLE_VALUE(a2); \
DOUBLE_VALUE     1902 core/Interpreter.cpp 		b1 = DOUBLE_VALUE(a1) numeric_cmp DOUBLE_VALUE(a2); \