100644 blob 08cab3930010eca691d2162c57907be849d4906d	SoftFloat-history.html
100644 blob dff77aad9d0e170b623f6224eabbba5f91e3af18	SoftFloat-source.html
100644 blob 19176dc02cbd6bbbf81175f256ac1d7b2969da52	SoftFloat.html