Previously encountered numbers (#4840) - Basecamp