RE: Is 1111 1110 10 equal to 0xfe80 or 0x3fa?

"Manfredi (US), Albert E" <albert.e.manfredi@boeing.com> Sat, 15 June 2019 23:30 UTC

Return-Path: <albert.e.manfredi@boeing.com>
X-Original-To: ipv6@ietfa.amsl.com
Delivered-To: ipv6@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 053691200FB for <ipv6@ietfa.amsl.com>; Sat, 15 Jun 2019 16:30:40 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.2
X-Spam-Level:
X-Spam-Status: No, score=-4.2 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id tCANXNUraF31 for <ipv6@ietfa.amsl.com>; Sat, 15 Jun 2019 16:30:37 -0700 (PDT)
Received: from clt-mbsout-02.mbs.boeing.net (clt-mbsout-02.mbs.boeing.net [130.76.144.163]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 587081200C7 for <ipv6@ietf.org>; Sat, 15 Jun 2019 16:30:37 -0700 (PDT)
Received: from localhost (localhost [127.0.0.1]) by clt-mbsout-02.mbs.boeing.net (8.14.4/8.14.4/DOWNSTREAM_MBSOUT) with SMTP id x5FNUYe7018769; Sat, 15 Jun 2019 19:30:34 -0400
Received: from XCH16-01-11.nos.boeing.com (xch16-01-11.nos.boeing.com [144.115.66.39]) by clt-mbsout-02.mbs.boeing.net (8.14.4/8.14.4/UPSTREAM_MBSOUT) with ESMTP id x5FNUUF5017684 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL); Sat, 15 Jun 2019 19:30:31 -0400
Received: from XCH16-01-11.nos.boeing.com (144.115.66.39) by XCH16-01-11.nos.boeing.com (144.115.66.39) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384) id 15.1.1713.5; Sat, 15 Jun 2019 16:30:29 -0700
Received: from XCH16-01-11.nos.boeing.com ([fe80::c57c:39bc:4c0a:384b]) by XCH16-01-11.nos.boeing.com ([fe80::c57c:39bc:4c0a:384b%4]) with mapi id 15.01.1713.004; Sat, 15 Jun 2019 16:30:29 -0700
From: "Manfredi (US), Albert E" <albert.e.manfredi@boeing.com>
To: Alexandre Petrescu <alexandre.petrescu@gmail.com>, "ipv6@ietf.org" <ipv6@ietf.org>
Subject: RE: Is 1111 1110 10 equal to 0xfe80 or 0x3fa?
Thread-Topic: Is 1111 1110 10 equal to 0xfe80 or 0x3fa?
Thread-Index: AQHVI44E2DjF0YVb40aAc+mZXVyQkaadWbGw
Date: Sat, 15 Jun 2019 23:30:29 +0000
Message-ID: <f3940457623d480bafe4d0582227bafa@boeing.com>
References: <DM6PR15MB2506E62560613C85F74A1FF8BB100@DM6PR15MB2506.namprd15.prod.outlook.com> <CALx6S36vVpD9bAPSBQmhV+daR0Yr4heQ-LaiB4hABAs8ofVfNQ@mail.gmail.com> <DM6PR15MB25063BAF058C1825E2B63E30BB130@DM6PR15MB2506.namprd15.prod.outlook.com> <CAKQ4NaW-QRZDO52zDZTSqz_MsfrS1uQHdz6zFjo+gXvtYVnFxA@mail.gmail.com> <bd728c6b-2466-35c6-6e43-798c088216f5@gmail.com>
In-Reply-To: <bd728c6b-2466-35c6-6e43-798c088216f5@gmail.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-originating-ip: [144.115.204.6]
x-tm-snts-smtp: C30B449D574AC5DA10316963E0F91846EDF91D5CF97F1F21B1C846A14FD878C02000:8
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-TM-AS-GCONF: 00
Archived-At: <https://mailarchive.ietf.org/arch/msg/ipv6/DsdXWS3VZiOeP5eMb9z96bUU-xI>
X-BeenThere: ipv6@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "IPv6 Maintenance Working Group \(6man\)" <ipv6.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/ipv6>, <mailto:ipv6-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/ipv6/>
List-Post: <mailto:ipv6@ietf.org>
List-Help: <mailto:ipv6-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/ipv6>, <mailto:ipv6-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sat, 15 Jun 2019 23:30:41 -0000

-----Original Message-----
From: ipv6 <ipv6-bounces@ietf.org> On Behalf Of Alexandre Petrescu

> YEs, but if you only use the /10 to define a range, you introduce 
ambiguity in notation.

Alex, honestly, I never thought there was any ambiguity, and am surprised this issue lingers.

Consideration 1. The notation fe80::/10 means that the 10 bits represent a *prefix*. A prefix, by definition, the left-most 10 bits. That definition precludes the existence of any leading zeroes. If the 10-bit prefix included leading zeroes, it would have been written quite differently.

Consideration 2: Hex notation represents binary nibbles - groups of 4 bits. Therefore, however the 10-bit prefix is represented in hex, the only bits that matter are the left-most 10 bits.

Done. Now, the number 0xfe81 and the number 0xfe80 are identical, in terms of the left-most 10 bits. But someone might wonder, if you use fe81::/10, why on earth you bothered to set that 16th bit to 1 in your definition, when it was irrelevant to the 10bit prefix!

Bert