The nForum has moved to Zulip:
natural number
.