The nForum has moved to Zulip: extended real number.