--- float.h~1	2003-03-13 02:58:40.000000000 +0000
+++ float.h	2003-06-02 19:07:04.000000000 +0000
@@ -28,6 +28,10 @@
  * ISO C Standard:  5.2.4.2.2  Characteristics of floating types <float.h>
  */
 
+#ifdef __DJGPP__
+#include_next <float.h>
+#endif
+
 #ifndef _FLOAT_H___
 #define _FLOAT_H___