Updated floating-point number tests (c.f. HTML revision 6635)