W3C home > Mailing lists > Public > public-html-bugzilla@w3.org > May 2011

[Bug 12627] Rename "real numbers" section to "floating-point numbers"

From: <bugzilla@jessica.w3.org>
Date: Fri, 06 May 2011 17:16:11 +0000
To: public-html-bugzilla@w3.org
Message-Id: <E1QIOdP-0000JR-Em@jessica.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=12627

Aryeh Gregor <Simetrical+w3cbug@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |Simetrical+w3cbug@gmail.com
            Summary|Why is this section called  |Rename "real numbers"
                   |"real numbers" when         |section to "floating-point
                   |everything inside the       |numbers"
                   |section uses the term       |
                   |"floating-point" instead?   |
                   |You should use              |
                   |"floating-point numbers" as |
                   |the section name instead.   |
                   |(This use of "real number"  |
                   |is an affront to            |
                   |mathematics anyway.         |
            Summary|Wh                          |

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Friday, 6 May 2011 17:16:12 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 16:31:09 UTC