Numbers with different digits (#8533) - Basecamp