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

http://www.w3.org/Bugs/Public/show_bug.cgi?id=12627

--- Comment #2 from contributor@whatwg.org 2011-08-03 00:13:08 UTC ---
Checked in as WHATWG revision r6356.
Check-in comment: consistency
http://html5.org/tools/web-apps-tracker?from=6355&to=6356

-- 
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 Wednesday, 3 August 2011 00:13:12 UTC