Add float types needed by pcode runtime

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@516 42af7a65-404d-4744-a932-0658087f49c3

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 */