普段から、自然数や無限大は扱ってるような気が…