fix wrong float_t on x86_64

x86_64 does not have excess precision, at all

diff --git a/arch/x86_64/bits/alltypes.h.sh b/arch/x86_64/bits/alltypes.h.sh
index e19a4700e7ca3a9d19604bdb7623bd682a9a2b5c..083ea2300c033ac87b5ddc1f0cb66cc7f0b914d3 100755 (executable)
--- a/arch/x86_64/bits/alltypes.h.sh
+++ b/arch/x86_64/bits/alltypes.h.sh
@@ -55,7 +55,7 @@ TYPEDEF uint64_t           uint_fast64_t;
 TYPEDEF long          intptr_t;
 TYPEDEF unsigned long uintptr_t;
 
-TYPEDEF double float_t;
+TYPEDEF float float_t;
 TYPEDEF double double_t;
 
 TYPEDEF long time_t;