Links for is-natural-number