docs: private static int parseFraction(String v, int multiplier) {
  		int r = 0;
  		for (int i = 0; i < v.length(); i++) {
  			char c = v.charAt(i);
  			int x = c < '0' || c > '9' ? 0 : (c - '0');
  			r += multiplier * x;
  			if (multiplier < 10) {
  				// We're at the last digit. Check for rounding.
  				if (i + 1 < v.length()
  					&& v.charAt(i + 1) >= '5') {
  					++r;
  				}
  				break;
  			}
  			multiplier /= 10;
  		}
  		return r;
  	}