diff --git a/skeletons/REAL.c b/skeletons/REAL.c
index a36b681..7447aae 100644
--- a/skeletons/REAL.c
+++ b/skeletons/REAL.c
@@ -13,14 +13,6 @@
 #include <errno.h>
 #include <REAL.h>
 
-#ifdef	WIN32
-#include <float.h>
-#define copysign _copysign
-#define isnan _isnan
-#define finite _finite
-#define ilogb _logb
-#endif
-
 #undef	INT_MAX
 #define	INT_MAX	((int)(((unsigned int)-1) >> 1))
 
@@ -528,7 +520,7 @@
 
 	/*
 	 * ilogb(+-0) returns -INT_MAX or INT_MIN (platform-dependent)
-	 * ilogb(+-inf) returns INT_MAX
+	 * ilogb(+-inf) returns INT_MAX, logb(+-inf) returns +inf
 	 * ilogb(NaN) returns INT_MIN or INT_MAX (platform-dependent)
 	 */
 	expval = ilogb(dbl_value);