doubleToInt32    3921 core/AvmCore.cpp 		return doubleToInt32(d);
doubleToInt32    3955 core/AvmCore.cpp 		return doubleToInt32(d);
doubleToInt32     835 core/AvmCore.h 		static int doubleToInt32(double d);