>>174
自然数の拡張なんだからプロパティとしては存在してるやろ