diff --git a/src/libruntime/jerry-libc.c b/src/libruntime/jerry-libc.c
index d836efee0..5cd66dd87 100644
--- a/src/libruntime/jerry-libc.c
+++ b/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
diff --git a/src/libruntime/jerry-libc.h b/src/libruntime/jerry-libc.h
index a39d8310c..77c581993 100644
--- a/src/libruntime/jerry-libc.h
+++ b/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 */
diff --git a/src/libruntime/pretty-printer.c b/src/libruntime/pretty-printer.c
index 63ab02e84..4c04231c0 100644
--- a/src/libruntime/pretty-printer.c
+++ b/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: