Index: softfloat/include/conversion.h
===================================================================
--- softfloat/include/conversion.h	(revision ba5870ddd0e1200d4fb6d42059b63100c288fcbe)
+++ softfloat/include/conversion.h	(revision b419162567eebf03db8ff08a2d21f6d3003f1577)
@@ -51,4 +51,11 @@
 float32 uint64_to_float32(__u64 i);
 float32 int64_to_float32(__s64 i);
+
+float64 uint32_to_float64(__u32 i);
+float64 int32_to_float64(__s32 i);
+
+float64 uint64_to_float64(__u64 i);
+float64 int64_to_float64(__s64 i);
+
 #endif