diff --git a/src/port/isinf.c b/src/port/isinf.c
index 07b2bd9a1495b1cc615bf41e05500c9cabe18b01..ec10375578aa063f9a19cf489c5a240c2f71f4b9 100644
--- a/src/port/isinf.c
+++ b/src/port/isinf.c
@@ -7,13 +7,14 @@
  *
  *
  * IDENTIFICATION
- *	  $PostgreSQL: pgsql/src/port/isinf.c,v 1.4 2004/08/29 04:13:12 momjian Exp $
+ *	  $PostgreSQL: pgsql/src/port/isinf.c,v 1.5 2004/09/30 16:38:39 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
 
 #include "c.h"
 
+#include <float.h>
 #include <math.h>
 
 #if HAVE_FPCLASS				/* this is _not_ HAVE_FP_CLASS, and not