From owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org  Wed Apr  5 21:06:47 2017
Return-Path: <owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org>
X-Original-To: sc22wg14-domo2
Delivered-To: sc22wg14-domo2@www.open-std.org
Received: by www.open-std.org (Postfix, from userid 521)
	id EB2AD358790; Wed,  5 Apr 2017 21:06:47 +0200 (CEST)
Delivered-To: sc22wg14@open-std.org
Received: from mail1313.opentransfer.com (mail1313.opentransfer.com [76.162.254.106])
	by www.open-std.org (Postfix) with ESMTP id 2C118356941
	for <sc22wg14@open-std.org>; Wed,  5 Apr 2017 21:06:44 +0200 (CEST)
Comment: DKIM? See http://www.dkim.org
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=tybor.com; s=dkim-shared; x=1492024006; h=Comment:
	DomainKey-Signature:Received:Received:Message-ID:From:To:Date:
	Priority:User-Agent:MIME-Version:Content-Type:
	Content-Transfer-Encoding:Subject; bh=FWVLr7ACp3QGD8MLXdEMInVEj8
	Um/XQxo3+gAfN7n9k=; b=h6U8ZlsyAUncuur8YPqq8DiBkUQyzBefpg5NqY8VvA
	zZ2wZTnDfX9RCftBRpSoPXqHg5StW9zwZUeoz9vsuClRzTUWZohuZz18svOeYsaR
	MCWy8sMVruzFmC+2MW6g+DQx4qkw+s9jv1JlCEgYceZuyqozMCAC/+zODr5Py0hT
	A=
Comment: DomainKeys? See http://antispam.yahoo.com/domainkeys
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
	s=dkim-shared; d=tybor.com;
	h=Received:Received:X-Originating-IP:Message-ID:From:To:Date:Priority:User-Agent:X-Mailer:MIME-Version:Content-Type:Content-Transfer-Encoding:Subject;
	b=Fnn1aFvBaCi5G1zJ8rPyOWPUD0znf02H7lYXrGnZgxiVtQcJqwaSVjgruHMHZc
	DSaZPlouRVLW8JguHhAggXUAp4KyU2qqzHSPBwxSrSUaTeRTQroC+Y0zMKDWwrYN
	eZE0q4VXIxPrs/hoBAxFJ7yCVkILbRZjNjVPY64s2oNIM=;
Received: (qmail 4277 invoked by uid 399); 5 Apr 2017 19:06:42 -0000
Received: from unknown (HELO ecs16501512.tl.ihost.com) (pbs:tydeman@tybor.com@199.43.208.245)
  by mail1313.opentransfer.com with ESMTPM; 5 Apr 2017 19:06:42 -0000
X-Originating-IP: 199.43.208.245
Message-ID: <100.703a0f004340e558.006@tybor.com>
From: "Fred J. Tydeman" <tydeman@tybor.com>
To: "ISO C" <sc22wg14@open-std.org>
Date: Wed, 05 Apr 2017 15:06:43 -0400 (EDT)
User-Agent: PMMail/3.11 (os/2; U; Warp 4.5; en-US; i386; ver 3.11.30.1767)
X-Mailer: PMMail 3.11.30.1767 for OS/2 Warp 4.5
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Subject: DR 467 PTC
Sender: owner-sc22wg14@open-std.org
Precedence: bulk

Add to DR 467 Proposed Technical Corrigendum the following:

Add to the end of 5.2.4.2.2 #1 (after the 5 indented items and before
paragraph 2):

For each floating-point type: b, emin, emax, p are fixed constants.

In paragraph 3, change "normalized floating-point numbers" to italics.

And change: 
normalized floating-point numbers (f1 > 0 if x !=3D 0), 

To:
normalized floating-point numbers (x !=3D 0, f1 > 0, all possible f[k]
digits result in values representable in the type) footnote,

Footnote: Some implementations may have types with numeric values
which are not covered by this model.


---
Fred J. Tydeman        Tydeman Consulting
tydeman@tybor.com      Testing, numerics, programming
+1 (702) 608-6093      Vice-chair of PL22.11 (ANSI "C")
Sample C99+FPCE tests: http://www.tybor.com
Savers sleep well, investors eat well, spenders work forever.