Definition:Extended Natural Number