Class AstInteger