New methods for NumberReader and PushbackReader