--- swipl-9.3.24/src/pl-arith.c.orig
+++ swipl-9.3.24/src/pl-arith.c
@@ -3060,6 +3060,7 @@
 #define IEEE754 1
 
 #ifdef IEEE754
+/* we have signbit defined in iso/math_c99.h:
 static inline int
 signbit(double f)
 { union
@@ -3070,6 +3071,7 @@
   v.f = f;
   return v.i < 0;
 }
+*/
 
 #ifndef copysign
 double