Home
last modified time | relevance | path

Searched refs:EXTRA_DIGITS (Results 1 – 1 of 1) sorted by relevance

/packages/apps/ExactCalculator/src/com/android/calculator2/
DEvaluator.java103 private static final int EXTRA_DIGITS = 20; field in Evaluator
364 final int newPrecOffset = initDisplayOffset + EXTRA_DIGITS; in doInBackground()
785 ensureCachePrec(currentPrecOffset + EXTRA_DIGITS); in getString()
790 ensureCachePrec(currentPrecOffset + EXTRA_DIGITS + mResultString.length() in getString()