Fix AST printer, minor bugfixes

Number token contains original text.