More features for NumberReader and PushbackReader
bugfix