the character read after reading a number not being correctly pushed back onto the input stream, but...