internDouble     1535 core/AvmCore.cpp 				return internDouble(atomToDouble(atom));
internDouble     3260 core/AvmCore.cpp 			return internDouble(ui);
internDouble     1370 core/AvmCore.h 		Stringp internDouble(double d);