Infinity package:numbers

The infinite natural number.