100644 blob d81c6bc5a26737e66047c7ac49940b15bc90e82c	SoftFloat-history.html
100644 blob 4ff9d4c45a55eaa414ccedaa0de39c166348f482	SoftFloat-source.html
100644 blob 8367d6fa457fc398795e2d12df492948ba24f497	SoftFloat.html