AST: Integer sort