doubleToInt32    3961 core/AvmCore.cpp int AvmCore::doubleToInt32(double d)
doubleToInt32    4039 core/AvmCore.cpp int AvmCore::doubleToInt32(double d)
doubleToInt32    4100 core/AvmCore.cpp int AvmCore::doubleToInt32(double d)