public int readDigits() { int read = 0; pushPos(); while (readDigit() != 0) { read = 1; } if (read == 0) { popPosBack(); return 0; } popPos(); return read; }