public int readDecimalPlaces() { if (readChar('.')!=0) { if (readDigits() == 0) { return -1; } return 1; } return 0; }