Remove usage of 'double' type.

src/libruntime/jerry-libc.c

@@ -224,7 +224,7 @@ __strtof (const char *nptr, char **endptr)
   (void) endptr;
 
   JERRY_UNIMPLEMENTED ();
-}
+} /* __strtof */
 
 /** Calculate the length of a string.  */
 size_t

src/libruntime/jerry-libc.h

@@ -54,6 +54,6 @@ extern int __fprintf(FILE *stream, const char *format, ...);
 #define DBL_DIG         (  10)
 #define DBL_MIN_EXP     (-324)
 #define DBL_MAX_EXP     ( 308)
-#define HUGE_VAL        (1e37)
+#define HUGE_VAL        (1e37f)
 
 #endif /* JERRY_LIBC_H */

src/libruntime/pretty-printer.c

@@ -51,7 +51,8 @@ pp_token (token tok)
          break;
 
        case TOK_FLOAT:
-         __printf ("FLOAT (%f)\n", tok.data.fp_num);
+       FIXME(int -> float);
+         __printf ("FLOAT (%d)\n", (int)tok.data.fp_num);
          break;
 
        case TOK_NULL: