From owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org Fri Feb 28 10:33:09 2025 Return-Path: X-Original-To: sc22wg14-domo2 Delivered-To: sc22wg14-domo2@www.open-std.org Received: by www.open-std.org (Postfix, from userid 521) id 36D27356648; Fri, 28 Feb 2025 10:33:09 +0100 (CET) Delivered-To: sc22wg14@open-std.org Received: from mail-lj1-f173.google.com (mail-lj1-f173.google.com [209.85.208.173]) by www.open-std.org (Postfix) with ESMTP id E21DD35663F for ; Fri, 28 Feb 2025 10:33:08 +0100 (CET) Received: by mail-lj1-f173.google.com with SMTP id 38308e7fff4ca-30795988ebeso20835531fa.3 for ; Fri, 28 Feb 2025 01:33:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1740735187; x=1741339987; darn=open-std.org; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :from:to:cc:subject:date:message-id:reply-to; bh=/BB8G1f1dL3I86KTi1GRkSZ8qhkDlqsOaHiEsPb6C6g=; b=m6P5dx6lJ3ENsGV+vOXExuosN2yS8YEpHZXjO7P6RNOFnVG3m37/oOx9E510ZO3ZbJ RiZtIjBfrHNphNr1V5ekOPxb5d+bCt3h5w9GNl5P50O+eGZ85muvwN/kpeBxZPIqiQ1D 5z45jBPNKWt9Whgt4mbUGbx3WYk17G4hadNWXrHAgcp/TsTvgF2FcFIHVV/Lp9mduu9o MeMlBsdGRHRWkG4anEbSQyHHXGKfwM4bJEWE4mokP2zT5dJX+dXzCNkk8166Ay+5s7+p 9cOIRfhc/slg7YzK8fXaTXc2d5aIVfa+G8NfNFYp1Sb1+doXue7T6qZHMYIL2ZvKzY9V LJmQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1740735187; x=1741339987; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=/BB8G1f1dL3I86KTi1GRkSZ8qhkDlqsOaHiEsPb6C6g=; b=fq9Tn25/sv5lwC9KOCOPF0JtRW8ONUEUToP6l8t00ITcI3UZuHHQ+ScT/M4mJjLxds 1HLFWUQ2hIncATtTP1Q2vUfhe+4fgezeRVrkTiXPC6ygbzpdQW9lMcUiksXJjQ56d4Z3 Lro7VBlkT+Wbwcj4pgFdj2N5MpyXx+1m79be6kE0arDGevlEt9NT09VxG9rX3G33UT+O N2IcRuSBq3QHerlfTLugboBzJJrHAg0502dtQx0QsVyYt7iE9zgKh/MFL04PnyK6CWf6 n6Ped+nqdBF8mLGQlDa6oB9+OcPKYz9BCKCoNARQPqzMldLtkaXdzWpj2jv9Yuvw4jbt C5gQ== X-Gm-Message-State: AOJu0YylNd9EDVoYNSiT/7fdjT7r+Wpho/+GnYnJKw2HmNditdOUNIOH UftHSVpVsW+C61RoHn7SwLI+CpVOKfTtAOn+GAQ7Qf0xEOjA77DuP5xDNGMpbd86SRoDtFMT9h5 zPmrd2yTAkTQHhBq8q3iA+iRskCPuLg== X-Gm-Gg: ASbGnctrWUU02I9CBEn35H3IghRxaE1Ns1mXj5Cq+aLXYTlIG98qBEvuysZsZE8IUFG nzASGSTapVaeFo7r0MxuOQPgy1HrbqHHlXk2iNjcMDzmjeYkW+TbbGwxm/RosGnB1c5JrG7NsD9 zqpdmBXQ== X-Google-Smtp-Source: AGHT+IFIPveAtmRZPv7c5mzPAta3iXTHRJToWpD8ECbkgqpHJ0cqtVwu7/A+xsGF+YS2SkOTvBp//HuiYf87HWi3vPU= X-Received: by 2002:a05:6512:1292:b0:545:353:4d46 with SMTP id 2adb3069b0e04-5494c33192emr1100305e87.25.1740735187237; Fri, 28 Feb 2025 01:33:07 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Robert Seacord Date: Fri, 28 Feb 2025 10:32:56 +0100 X-Gm-Features: AQ5f1Jpi0LIiE47wdBPl3KTSb92waxq4uxoy3USCKGN_yWtpBnPwUtZOkzL_g78 Message-ID: Subject: Fwd: N3357 questions To: "sc22wg14@open-std. org" Content-Type: multipart/alternative; boundary="0000000000007bc51b062f307eee" Sender: owner-sc22wg14@open-std.org Precedence: bulk --0000000000007bc51b062f307eee Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable CFP would like to respond to the results of the frexp model paper (N3357). We proposed =E2=80=A6 a model floating-point number (5.2.5.3.3) =E2=80=A6 5.2.5.3.3 begins "The characteristics of floating types are defined in terms of a model that describes a representation of floating-point numbers =E2=80=A6=E2=80=9D, and refers to =E2=80=9CModel floating-point numbers" in= paragraphs 4-7. The parenthetical reference seems clear enough to us, but to address some of the concerns, in 7.12.7.7: #2 =E2=80=A6 a floating-point number in the C model given in 5.2.5.3.3 ... #3 =E2=80=A6 If value is not a floating-point number in the C model =E2=80= =A6 What would help get WG14 accept something here? --0000000000007bc51b062f307eee Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

CFP would like to respond to the r= esults of the frexp model paper (N3357).

=C2=A0

We proposed=C2=A0

=C2=A0

=E2=80=A6 a model floating-point number (5.2.5.3.3) =E2=80=A6

=C2=A0

5.2.5.3.3 begins "The characteristics of floati= ng types are defined in terms of a model that describes a representation of= floating-point numbers =E2=80=A6=E2=80=9D, and refers to =E2=80=9CModel fl= oating-point numbers" in paragraphs 4-7.

=C2=A0

The parenthetical reference seems clear enough to us= , but to address some of the concerns, in 7.12.7.7:=C2=A0

=C2=A0

#2

=E2=80=A6 a floating-point number in the C model given in 5.2.5.3.3 ...

=C2=A0

#3

=C2=A0=E2=80=A6 =C2=A0If value is not a floating-point number in the C model =E2=80=A6

=C2=A0

What would help get WG14 accept something here?

=C2=A0=C2=A0

--0000000000007bc51b062f307eee--