100644 blob 515633e326feae676a10adc62d480e2b83acae17	SoftFloat-history.html
100644 blob d94da48e16912de107f80420495b89e4619d3cf6	SoftFloat-source.html
100644 blob af7292c3ba00c6becfa889ff43c9a0df96d6ad69	SoftFloat.html