The nForum has moved to Zulip: extended natural number.