Remove redundant number-parsing from p_token_stream.cpp