diff --git a/lib/libc/stdio/vfwprintf.c b/lib/libc/stdio/vfwprintf.c
index 7f1a6278d0dc..658f87985e56 100644
--- a/lib/libc/stdio/vfwprintf.c
+++ b/lib/libc/stdio/vfwprintf.c
@@ -400,6 +400,7 @@ vfwprintf(FILE * __restrict fp, const wchar_t * __restrict fmt0, va_list ap)
 }
 
 #ifdef FLOATING_POINT
+#include <float.h>
 #include <math.h>
 #include "floatio.h"