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

Alexandre Petrescu <alexandre.petrescu@gmail.com> Sat, 15 June 2019 14:59 UTC

Return-Path: <alexandre.petrescu@gmail.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 12C8F120073 for <ipv6@ietfa.amsl.com>; Sat, 15 Jun 2019 07:59:55 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.632
X-Spam-Level:
X-Spam-Status: No, score=-2.632 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_ADSP_CUSTOM_MED=0.001, FREEMAIL_FROM=0.001, NML_ADSP_CUSTOM_MED=0.9, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_SOFTFAIL=0.665] 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 mYmnAgEccuZW for <ipv6@ietfa.amsl.com>; Sat, 15 Jun 2019 07:59:52 -0700 (PDT)
Received: from sainfoin-smtp-out.extra.cea.fr (sainfoin-smtp-out.extra.cea.fr [132.167.192.228]) (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 773A1120045 for <ipv6@ietf.org>; Sat, 15 Jun 2019 07:59:52 -0700 (PDT)
Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by sainfoin-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id x5FExo59034557; Sat, 15 Jun 2019 16:59:50 +0200
Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 78EA1202644; Sat, 15 Jun 2019 16:59:50 +0200 (CEST)
Received: from muguet2-smtp-out.intra.cea.fr (muguet2-smtp-out.intra.cea.fr [132.166.192.13]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 681AD202610; Sat, 15 Jun 2019 16:59:50 +0200 (CEST)
Received: from [132.166.86.23] ([132.166.86.23]) by muguet2-sys.intra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id x5FExn9I030924; Sat, 15 Jun 2019 16:59:50 +0200
Subject: Re: Is 1111 1110 10 equal to 0xfe80 or 0x3fa?
To: Warren Kumari <warren@kumari.net>, Sander Steffann <sander@steffann.nl>
Cc: IPv6 <ipv6@ietf.org>
References: <a71b00b7-0e0c-242a-b3f7-147f4c6b2eb0@gmail.com> <D05C857F-42F6-4F17-8520-A0BF4C8FB775@steffann.nl> <CAHw9_i+U90wczYJ9RwBnzqCd09qfjoPBhNv5sH_wRHfJ9RkGjQ@mail.gmail.com>
From: Alexandre Petrescu <alexandre.petrescu@gmail.com>
Message-ID: <e0d8f4a9-848e-ff8f-0031-ed8afa100560@gmail.com>
Date: Sat, 15 Jun 2019 16:59:49 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0
MIME-Version: 1.0
In-Reply-To: <CAHw9_i+U90wczYJ9RwBnzqCd09qfjoPBhNv5sH_wRHfJ9RkGjQ@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Language: fr
Content-Transfer-Encoding: 8bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/ipv6/jyzRA3GU2Vh7hFQSdhjpTmjwauE>
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 14:59:55 -0000


Le 06/06/2019 à 22:17, Warren Kumari a écrit :
> On Thu, Jun 6, 2019 at 2:46 PM Sander Steffann <sander@steffann.nl> wrote:
>>
>> Hi Alexandre,
>>
>>> I maintain that 1111 1110 10 equals 0x3fa, because that's what my Windows Calculator says: I type 1111 1110 10 and it converts to 0x3fa.
>>>
>>> On another hand, I am rhetorically asked how can 1111 1110 10 be 0x3fa?
>>>
>>> (the 1111 1110 10 are the 10 leading bits of the IPv6 link local addresses, which is familiarly known to start with an fe80).
>>>
>>> On my side, this is a difficulty to understand this 0xfe80, especially since 1111 1110 10 is so printed in Figure in RFC4291.
>>
>> It's a prefix of an IPv6 address. IPv6 addresses are 128 bits long. Expand to 128 bits and try again :)
>>
>> 1111 1110 1000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 equals 0xfe800000000000000000000000000000. Not sure if Windows Calculator can handle that though…
> 
> Windows calc probably can't, but:
> $ echo 'print hex(0b1111111010 << (128-10))'  | python
> 
> or https://repl.it/repls/AwareDecentGeeklog if you don't have Python
> (because windows :-p)

For sake of completeness, google puts '1111111010 in hex' as 0x423A3562.

qwant does not convert it.

Alex

> 
> W
>>
>> Cheers,
>> Sander
>>
>> --------------------------------------------------------------------
>> IETF IPv6 working group mailing list
>> ipv6@ietf.org
>> Administrative Requests: https://www.ietf.org/mailman/listinfo/ipv6
>> --------------------------------------------------------------------
> 
> 
>