Talk:Extended natural numbers