IS_BOTH_DOUBLE   1360 core/Interpreter.cpp 	else if (IS_BOTH_DOUBLE(a1, a2)) { \
IS_BOTH_DOUBLE   1472 core/Interpreter.cpp 				if (IS_BOTH_DOUBLE(a1, a2)) { 
IS_BOTH_DOUBLE   1501 core/Interpreter.cpp 				if (IS_BOTH_DOUBLE(a1, a2)) { 
IS_BOTH_DOUBLE   1523 core/Interpreter.cpp 				if (IS_BOTH_DOUBLE(a1, a2)) { 
IS_BOTH_DOUBLE   1544 core/Interpreter.cpp 				if (IS_BOTH_DOUBLE(a1, a2)) {
IS_BOTH_DOUBLE   1575 core/Interpreter.cpp 				if (IS_BOTH_DOUBLE(a1, a2)) {
IS_BOTH_DOUBLE   1602 core/Interpreter.cpp 				else if (IS_BOTH_DOUBLE(a1, a2)) {
IS_BOTH_DOUBLE   1781 core/Interpreter.cpp 	else if (IS_BOTH_DOUBLE(a1, a2)) \
IS_BOTH_DOUBLE   1901 core/Interpreter.cpp 	else if (IS_BOTH_DOUBLE(a1, a2)) \