Super numbers (#2245) - Basecamp