Integer as term