diff --git a/include/sys/types.h b/include/sys/types.h
index 2fd53e41db3..99736e41e3f 100644
--- a/include/sys/types.h
+++ b/include/sys/types.h
@@ -96,10 +96,13 @@
  ****************************************************************************/
 
 #ifndef __ASSEMBLY__
+typedef float  float32;
 #ifndef CONFIG_HAVE_DOUBLE
 typedef float  double_t;
+typedef float  float64;
 #else
 typedef double double_t;
+typedef double float64;
 #endif
 
 /* Misc. scalar types */