doubleValueOf      78 core/BigInteger.h 			double doubleValueOf() const; // returns double approximation of this integer
doubleValueOf    1355 core/MathUtils.cpp 			result = exactInt.doubleValueOf();